// Copyright 2011 Google Inc. All Rights Reserved.

// This file was generated from .js source files by GYP.  If you
// want to make changes to this file you should either change the
// javascript source files or the GYP script.

#include "src/snapshot/natives.h"
#include "src/utils.h"
#include "src/v8.h"

namespace v8 {
namespace internal {

    static const char sources[] = { 10, 40, 102, 117, 110, 99, 116, 105, 111, 110, 40, 103, 108, 111, 98, 97, 108,
        44, 32, 98, 105, 110, 100, 105, 110, 103, 44, 32, 118, 56, 41, 32, 123, 10, 32,
        32, 39, 117, 115, 101, 32, 115, 116, 114, 105, 99, 116, 39, 59, 10, 32, 32, 99,
        111, 110, 115, 116, 32, 95, 112, 101, 110, 100, 105, 110, 103, 87, 114, 105,
        116, 101, 82, 101, 113, 117, 101, 115, 116, 32, 61, 32, 118, 56, 46, 99, 114,
        101, 97, 116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108,
        40, 39, 91, 91, 112, 101, 110, 100, 105, 110, 103, 87, 114, 105, 116, 101, 82,
        101, 113, 117, 101, 115, 116, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115,
        116, 32, 95, 112, 101, 110, 100, 105, 110, 103, 67, 108, 111, 115, 101, 82, 101,
        113, 117, 101, 115, 116, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101,
        80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91,
        112, 101, 110, 100, 105, 110, 103, 67, 108, 111, 115, 101, 82, 101, 113, 117,
        101, 115, 116, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95,
        112, 101, 110, 100, 105, 110, 103, 65, 98, 111, 114, 116, 82, 101, 113, 117,
        101, 115, 116, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114,
        105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91, 112, 101,
        110, 100, 105, 110, 103, 65, 98, 111, 114, 116, 82, 101, 113, 117, 101, 115,
        116, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 115, 116,
        97, 116, 101, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 105,
        118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91, 115, 116, 97,
        116, 101, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 115,
        116, 111, 114, 101, 100, 69, 114, 114, 111, 114, 32, 61, 32, 118, 56, 46, 99,
        114, 101, 97, 116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111,
        108, 40, 39, 91, 91, 115, 116, 111, 114, 101, 100, 69, 114, 114, 111, 114, 93,
        93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 119, 114, 105, 116,
        101, 114, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 105,
        118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91, 119, 114, 105,
        116, 101, 114, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95,
        119, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 32, 61, 10, 32, 32, 32, 32, 32, 32, 118, 56,
        46, 99, 114, 101, 97, 116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109,
        98, 111, 108, 40, 39, 91, 91, 119, 114, 105, 116, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 93, 93, 39,
        41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 119, 114, 105, 116, 101, 82,
        101, 113, 117, 101, 115, 116, 115, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97,
        116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 39,
        91, 91, 119, 114, 105, 116, 101, 82, 101, 113, 117, 101, 115, 116, 115, 93, 93,
        39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 99, 108, 111, 115, 101,
        100, 80, 114, 111, 109, 105, 115, 101, 32, 61, 32, 118, 56, 46, 99, 114, 101,
        97, 116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40,
        39, 91, 91, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93,
        93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 111, 119, 110, 101,
        114, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 32, 61,
        10, 32, 32, 32, 32, 32, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114,
        105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91, 111, 119,
        110, 101, 114, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 114, 101, 97,
        100, 121, 80, 114, 111, 109, 105, 115, 101, 32, 61, 32, 118, 56, 46, 99, 114,
        101, 97, 116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108,
        40, 39, 91, 91, 114, 101, 97, 100, 121, 80, 114, 111, 109, 105, 115, 101, 93,
        93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 99, 111, 110, 116,
        114, 111, 108, 108, 101, 100, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 32, 61, 10, 32, 32, 32, 32, 32, 32, 118, 56, 46, 99, 114, 101, 97,
        116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 39,
        91, 91, 99, 111, 110, 116, 114, 111, 108, 108, 101, 100, 87, 114, 105, 116, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 93, 39, 41, 59, 10, 32, 32, 99,
        111, 110, 115, 116, 32, 95, 113, 117, 101, 117, 101, 32, 61, 32, 118, 56, 46,
        99, 114, 101, 97, 116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98,
        111, 108, 40, 39, 91, 91, 113, 117, 101, 117, 101, 93, 93, 39, 41, 59, 10, 32,
        32, 99, 111, 110, 115, 116, 32, 95, 113, 117, 101, 117, 101, 83, 105, 122, 101,
        32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 105, 118, 97, 116,
        101, 83, 121, 109, 98, 111, 108, 40, 39, 91, 91, 113, 117, 101, 117, 101, 83,
        105, 122, 101, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95,
        115, 116, 114, 97, 116, 101, 103, 121, 72, 87, 77, 32, 61, 32, 118, 56, 46, 99,
        114, 101, 97, 116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111,
        108, 40, 39, 91, 91, 115, 116, 114, 97, 116, 101, 103, 121, 72, 87, 77, 93, 93,
        39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 115, 116, 114, 97, 116,
        101, 103, 121, 83, 105, 122, 101, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97,
        116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108, 40, 39,
        91, 91, 115, 116, 114, 97, 116, 101, 103, 121, 83, 105, 122, 101, 93, 93, 39,
        41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 117, 110, 100, 101, 114,
        108, 121, 105, 110, 103, 83, 105, 110, 107, 32, 61, 32, 118, 56, 46, 99, 114,
        101, 97, 116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108,
        40, 39, 91, 91, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 105, 110,
        107, 93, 93, 39, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 95, 100, 101,
        102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 70,
        108, 97, 103, 115, 32, 61, 10, 32, 32, 32, 32, 32, 32, 118, 56, 46, 99, 114,
        101, 97, 116, 101, 80, 114, 105, 118, 97, 116, 101, 83, 121, 109, 98, 111, 108,
        40, 39, 91, 91, 100, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 70, 108, 97, 103, 115, 93, 93, 39, 41, 59, 10, 32, 32, 99,
        111, 110, 115, 116, 32, 70, 76, 65, 71, 95, 83, 84, 65, 82, 84, 69, 68, 32, 61,
        32, 48, 98, 49, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 70, 76, 65, 71, 95,
        87, 82, 73, 84, 73, 78, 71, 32, 61, 32, 48, 98, 49, 48, 59, 10, 32, 32, 99, 111,
        110, 115, 116, 32, 70, 76, 65, 71, 95, 73, 78, 67, 76, 79, 83, 69, 32, 61, 32,
        48, 98, 49, 48, 48, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 87, 82, 73, 84,
        65, 66, 76, 69, 32, 61, 32, 48, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 67,
        76, 79, 83, 73, 78, 71, 32, 61, 32, 49, 59, 10, 32, 32, 99, 111, 110, 115, 116,
        32, 67, 76, 79, 83, 69, 68, 32, 61, 32, 50, 59, 10, 32, 32, 99, 111, 110, 115,
        116, 32, 69, 82, 82, 79, 82, 69, 68, 32, 61, 32, 51, 59, 10, 32, 32, 99, 111,
        110, 115, 116, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 32, 61, 32, 103,
        108, 111, 98, 97, 108, 46, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59, 10,
        32, 32, 99, 111, 110, 115, 116, 32, 100, 101, 102, 105, 110, 101, 80, 114, 111,
        112, 101, 114, 116, 121, 32, 61, 32, 103, 108, 111, 98, 97, 108, 46, 79, 98,
        106, 101, 99, 116, 46, 100, 101, 102, 105, 110, 101, 80, 114, 111, 112, 101,
        114, 116, 121, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 104, 97, 115, 79,
        119, 110, 80, 114, 111, 112, 101, 114, 116, 121, 32, 61, 32, 118, 56, 46, 117,
        110, 99, 117, 114, 114, 121, 84, 104, 105, 115, 40, 103, 108, 111, 98, 97, 108,
        46, 79, 98, 106, 101, 99, 116, 46, 104, 97, 115, 79, 119, 110, 80, 114, 111,
        112, 101, 114, 116, 121, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 70,
        117, 110, 99, 116, 105, 111, 110, 95, 97, 112, 112, 108, 121, 32, 61, 32, 118,
        56, 46, 117, 110, 99, 117, 114, 114, 121, 84, 104, 105, 115, 40, 103, 108, 111,
        98, 97, 108, 46, 70, 117, 110, 99, 116, 105, 111, 110, 46, 112, 114, 111, 116,
        111, 116, 121, 112, 101, 46, 97, 112, 112, 108, 121, 41, 59, 10, 32, 32, 99,
        111, 110, 115, 116, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 32, 61, 32,
        103, 108, 111, 98, 97, 108, 46, 84, 121, 112, 101, 69, 114, 114, 111, 114, 59,
        10, 32, 32, 99, 111, 110, 115, 116, 32, 82, 97, 110, 103, 101, 69, 114, 114,
        111, 114, 32, 61, 32, 103, 108, 111, 98, 97, 108, 46, 82, 97, 110, 103, 101, 69,
        114, 114, 111, 114, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 66, 111, 111,
        108, 101, 97, 110, 32, 61, 32, 103, 108, 111, 98, 97, 108, 46, 66, 111, 111,
        108, 101, 97, 110, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 78, 117, 109, 98,
        101, 114, 32, 61, 32, 103, 108, 111, 98, 97, 108, 46, 78, 117, 109, 98, 101,
        114, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 78, 117, 109, 98, 101, 114, 95,
        105, 115, 78, 97, 78, 32, 61, 32, 78, 117, 109, 98, 101, 114, 46, 105, 115, 78,
        97, 78, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 78, 117, 109, 98, 101, 114,
        95, 105, 115, 70, 105, 110, 105, 116, 101, 32, 61, 32, 78, 117, 109, 98, 101,
        114, 46, 105, 115, 70, 105, 110, 105, 116, 101, 59, 10, 32, 32, 99, 111, 110,
        115, 116, 32, 80, 114, 111, 109, 105, 115, 101, 32, 61, 32, 103, 108, 111, 98,
        97, 108, 46, 80, 114, 111, 109, 105, 115, 101, 59, 10, 32, 32, 99, 111, 110,
        115, 116, 32, 116, 104, 101, 110, 80, 114, 111, 109, 105, 115, 101, 32, 61, 32,
        118, 56, 46, 117, 110, 99, 117, 114, 114, 121, 84, 104, 105, 115, 40, 80, 114,
        111, 109, 105, 115, 101, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 46,
        116, 104, 101, 110, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 80, 114,
        111, 109, 105, 115, 101, 95, 114, 101, 115, 111, 108, 118, 101, 32, 61, 32, 118,
        56, 46, 115, 105, 109, 112, 108, 101, 66, 105, 110, 100, 40, 80, 114, 111, 109,
        105, 115, 101, 46, 114, 101, 115, 111, 108, 118, 101, 44, 32, 80, 114, 111, 109,
        105, 115, 101, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 80, 114, 111,
        109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 32, 61, 32, 118, 56, 46,
        115, 105, 109, 112, 108, 101, 66, 105, 110, 100, 40, 80, 114, 111, 109, 105,
        115, 101, 46, 114, 101, 106, 101, 99, 116, 44, 32, 80, 114, 111, 109, 105, 115,
        101, 41, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 101, 97,
        109, 69, 114, 114, 111, 114, 115, 32, 61, 32, 98, 105, 110, 100, 105, 110, 103,
        46, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114, 115, 59, 10, 32, 32,
        99, 111, 110, 115, 116, 32, 101, 114, 114, 65, 98, 111, 114, 116, 76, 111, 99,
        107, 101, 100, 83, 116, 114, 101, 97, 109, 32, 61, 32, 39, 67, 97, 110, 110,
        111, 116, 32, 97, 98, 111, 114, 116, 32, 97, 32, 119, 114, 105, 116, 97, 98,
        108, 101, 32, 115, 116, 114, 101, 97, 109, 32, 116, 104, 97, 116, 32, 105, 115,
        32, 108, 111, 99, 107, 101, 100, 32, 116, 111, 32, 97, 32, 119, 114, 105, 116,
        101, 114, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 101, 114, 114, 83,
        116, 114, 101, 97, 109, 65, 98, 111, 114, 116, 101, 100, 32, 61, 32, 39, 84,
        104, 101, 32, 115, 116, 114, 101, 97, 109, 32, 104, 97, 115, 32, 98, 101, 101,
        110, 32, 97, 98, 111, 114, 116, 101, 100, 39, 59, 10, 32, 32, 99, 111, 110, 115,
        116, 32, 101, 114, 114, 87, 114, 105, 116, 101, 114, 76, 111, 99, 107, 82, 101,
        108, 101, 97, 115, 101, 100, 80, 114, 101, 102, 105, 120, 32, 61, 32, 39, 84,
        104, 105, 115, 32, 119, 114, 105, 116, 97, 98, 108, 101, 32, 115, 116, 114, 101,
        97, 109, 32, 119, 114, 105, 116, 101, 114, 32, 104, 97, 115, 32, 98, 101, 101,
        110, 32, 114, 101, 108, 101, 97, 115, 101, 100, 32, 97, 110, 100, 32, 99, 97,
        110, 110, 111, 116, 32, 98, 101, 32, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116,
        32, 101, 114, 114, 67, 108, 111, 115, 101, 67, 108, 111, 115, 101, 82, 101, 113,
        117, 101, 115, 116, 101, 100, 83, 116, 114, 101, 97, 109, 32, 61, 10, 32, 32,
        32, 32, 32, 32, 39, 67, 97, 110, 110, 111, 116, 32, 99, 108, 111, 115, 101, 32,
        97, 32, 119, 114, 105, 116, 97, 98, 108, 101, 32, 115, 116, 114, 101, 97, 109,
        32, 116, 104, 97, 116, 32, 104, 97, 115, 32, 97, 108, 114, 101, 97, 100, 121,
        32, 98, 101, 101, 110, 32, 114, 101, 113, 117, 101, 115, 116, 101, 100, 32, 116,
        111, 32, 98, 101, 32, 99, 108, 111, 115, 101, 100, 39, 59, 10, 32, 32, 99, 111,
        110, 115, 116, 32, 101, 114, 114, 87, 114, 105, 116, 101, 67, 108, 111, 115,
        101, 82, 101, 113, 117, 101, 115, 116, 101, 100, 83, 116, 114, 101, 97, 109, 32,
        61, 10, 32, 32, 32, 32, 32, 32, 39, 67, 97, 110, 110, 111, 116, 32, 119, 114,
        105, 116, 101, 32, 116, 111, 32, 97, 32, 119, 114, 105, 116, 97, 98, 108, 101,
        32, 115, 116, 114, 101, 97, 109, 32, 116, 104, 97, 116, 32, 105, 115, 32, 100,
        117, 101, 32, 116, 111, 32, 98, 101, 32, 99, 108, 111, 115, 101, 100, 39, 59,
        10, 32, 32, 99, 111, 110, 115, 116, 32, 116, 101, 109, 112, 108, 97, 116, 101,
        69, 114, 114, 111, 114, 67, 97, 110, 110, 111, 116, 65, 99, 116, 105, 111, 110,
        79, 110, 83, 116, 97, 116, 101, 83, 116, 114, 101, 97, 109, 32, 61, 10, 32, 32,
        32, 32, 32, 32, 40, 97, 99, 116, 105, 111, 110, 44, 32, 115, 116, 97, 116, 101,
        41, 32, 61, 62, 32, 96, 67, 97, 110, 110, 111, 116, 32, 36, 123, 97, 99, 116,
        105, 111, 110, 125, 32, 97, 32, 36, 123, 115, 116, 97, 116, 101, 125, 32, 119,
        114, 105, 116, 97, 98, 108, 101, 32, 115, 116, 114, 101, 97, 109, 96, 59, 10,
        32, 32, 99, 111, 110, 115, 116, 32, 101, 114, 114, 82, 101, 108, 101, 97, 115,
        101, 100, 87, 114, 105, 116, 101, 114, 67, 108, 111, 115, 101, 100, 80, 114,
        111, 109, 105, 115, 101, 32, 61, 10, 32, 32, 32, 32, 32, 32, 39, 84, 104, 105,
        115, 32, 119, 114, 105, 116, 97, 98, 108, 101, 32, 115, 116, 114, 101, 97, 109,
        32, 119, 114, 105, 116, 101, 114, 32, 104, 97, 115, 32, 98, 101, 101, 110, 32,
        114, 101, 108, 101, 97, 115, 101, 100, 32, 97, 110, 100, 32, 99, 97, 110, 110,
        111, 116, 32, 98, 101, 32, 117, 115, 101, 100, 32, 116, 111, 32, 109, 111, 110,
        105, 116, 111, 114, 32, 116, 104, 101, 32, 115, 116, 114, 101, 97, 109, 92, 39,
        115, 32, 115, 116, 97, 116, 101, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32,
        116, 101, 109, 112, 108, 97, 116, 101, 69, 114, 114, 111, 114, 73, 115, 78, 111,
        116, 65, 70, 117, 110, 99, 116, 105, 111, 110, 32, 61, 32, 102, 32, 61, 62, 32,
        96, 36, 123, 102, 125, 32, 105, 115, 32, 110, 111, 116, 32, 97, 32, 102, 117,
        110, 99, 116, 105, 111, 110, 96, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32,
        118, 101, 114, 98, 85, 115, 101, 100, 84, 111, 71, 101, 116, 84, 104, 101, 68,
        101, 115, 105, 114, 101, 100, 83, 105, 122, 101, 32, 61, 32, 39, 117, 115, 101,
        100, 32, 116, 111, 32, 103, 101, 116, 32, 116, 104, 101, 32, 100, 101, 115, 105,
        114, 101, 100, 83, 105, 122, 101, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116,
        32, 118, 101, 114, 98, 65, 98, 111, 114, 116, 101, 100, 32, 61, 32, 39, 97, 98,
        111, 114, 116, 101, 100, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 118,
        101, 114, 98, 67, 108, 111, 115, 101, 100, 32, 61, 32, 39, 99, 108, 111, 115,
        101, 100, 39, 59, 10, 32, 32, 99, 111, 110, 115, 116, 32, 118, 101, 114, 98, 87,
        114, 105, 116, 116, 101, 110, 84, 111, 32, 61, 32, 39, 119, 114, 105, 116, 116,
        101, 110, 32, 116, 111, 39, 59, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111,
        110, 32, 99, 114, 101, 97, 116, 101, 87, 114, 105, 116, 101, 114, 76, 111, 99,
        107, 82, 101, 108, 101, 97, 115, 101, 100, 69, 114, 114, 111, 114, 40, 118, 101,
        114, 98, 41, 32, 123, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 110,
        101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 101, 114, 114, 87,
        114, 105, 116, 101, 114, 76, 111, 99, 107, 82, 101, 108, 101, 97, 115, 101, 100,
        80, 114, 101, 102, 105, 120, 32, 43, 32, 118, 101, 114, 98, 41, 59, 10, 32, 32,
        125, 10, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 97, 116, 101, 78, 97,
        109, 101, 115, 32, 61, 32, 123, 91, 67, 76, 79, 83, 69, 68, 93, 58, 32, 39, 99,
        108, 111, 115, 101, 100, 39, 44, 32, 91, 69, 82, 82, 79, 82, 69, 68, 93, 58, 32,
        39, 101, 114, 114, 111, 114, 101, 100, 39, 125, 59, 10, 32, 32, 102, 117, 110,
        99, 116, 105, 111, 110, 32, 99, 114, 101, 97, 116, 101, 67, 97, 110, 110, 111,
        116, 65, 99, 116, 105, 111, 110, 79, 110, 83, 116, 97, 116, 101, 83, 116, 114,
        101, 97, 109, 69, 114, 114, 111, 114, 40, 97, 99, 116, 105, 111, 110, 44, 32,
        115, 116, 97, 116, 101, 41, 32, 123, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65,
        83, 83, 69, 82, 84, 40, 115, 116, 97, 116, 101, 78, 97, 109, 101, 115, 91, 115,
        116, 97, 116, 101, 93, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110,
        101, 100, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 96, 110, 97, 109, 101, 32, 102, 111, 114, 32, 115, 116, 97, 116, 101, 32,
        36, 123, 115, 116, 97, 116, 101, 125, 32, 101, 120, 105, 115, 116, 115, 32, 105,
        110, 32, 115, 116, 97, 116, 101, 78, 97, 109, 101, 115, 96, 41, 59, 10, 32, 32,
        32, 32, 114, 101, 116, 117, 114, 110, 32, 110, 101, 119, 32, 84, 121, 112, 101,
        69, 114, 114, 111, 114, 40, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 101, 109,
        112, 108, 97, 116, 101, 69, 114, 114, 111, 114, 67, 97, 110, 110, 111, 116, 65,
        99, 116, 105, 111, 110, 79, 110, 83, 116, 97, 116, 101, 83, 116, 114, 101, 97,
        109, 40, 97, 99, 116, 105, 111, 110, 44, 32, 115, 116, 97, 116, 101, 78, 97,
        109, 101, 115, 91, 115, 116, 97, 116, 101, 93, 41, 41, 59, 10, 32, 32, 125, 10,
        32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 115, 101, 116, 68, 101, 102,
        97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 70, 108, 97,
        103, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 102, 108, 97,
        103, 44, 32, 118, 97, 108, 117, 101, 41, 32, 123, 10, 32, 32, 32, 32, 108, 101,
        116, 32, 102, 108, 97, 103, 115, 32, 61, 32, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 91, 95, 100, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 70, 108, 97, 103, 115, 93, 59, 10, 32, 32, 32, 32, 105,
        102, 32, 40, 118, 97, 108, 117, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
        102, 108, 97, 103, 115, 32, 61, 32, 102, 108, 97, 103, 115, 32, 124, 32, 102,
        108, 97, 103, 59, 10, 32, 32, 32, 32, 125, 32, 101, 108, 115, 101, 32, 123, 10,
        32, 32, 32, 32, 32, 32, 102, 108, 97, 103, 115, 32, 61, 32, 102, 108, 97, 103,
        115, 32, 38, 32, 126, 102, 108, 97, 103, 59, 10, 32, 32, 32, 32, 125, 10, 32,
        32, 32, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 100, 101,
        102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 70,
        108, 97, 103, 115, 93, 32, 61, 32, 102, 108, 97, 103, 115, 59, 10, 32, 32, 125,
        10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 103, 101, 116, 68, 101,
        102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 83,
        116, 97, 114, 116, 101, 100, 70, 108, 97, 103, 40, 99, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 41, 32, 123, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114,
        110, 32, 66, 111, 111, 108, 101, 97, 110, 40, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 91, 95, 100, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 70, 108, 97, 103, 115, 93, 32, 38, 32, 70, 76, 65, 71,
        95, 83, 84, 65, 82, 84, 69, 68, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117,
        110, 99, 116, 105, 111, 110, 32, 115, 101, 116, 68, 101, 102, 97, 117, 108, 116,
        67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 83, 116, 97, 114, 116, 101,
        100, 70, 108, 97, 103, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44,
        32, 118, 97, 108, 117, 101, 41, 32, 123, 10, 32, 32, 32, 32, 115, 101, 116, 68,
        101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        70, 108, 97, 103, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32,
        70, 76, 65, 71, 95, 83, 84, 65, 82, 84, 69, 68, 44, 32, 118, 97, 108, 117, 101,
        41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32,
        103, 101, 116, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 87, 114, 105, 116, 105, 110, 103, 70, 108, 97, 103, 40, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 32, 123, 10, 32, 32, 32, 32,
        114, 101, 116, 117, 114, 110, 32, 66, 111, 111, 108, 101, 97, 110, 40, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 100, 101, 102, 97, 117, 108,
        116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 70, 108, 97, 103, 115, 93,
        32, 38, 32, 70, 76, 65, 71, 95, 87, 82, 73, 84, 73, 78, 71, 41, 59, 10, 32, 32,
        125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 115, 101, 116, 68,
        101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        87, 114, 105, 116, 105, 110, 103, 70, 108, 97, 103, 40, 99, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 44, 32, 118, 97, 108, 117, 101, 41, 32, 123, 10, 32,
        32, 32, 32, 115, 101, 116, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 70, 108, 97, 103, 40, 99, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 44, 32, 70, 76, 65, 71, 95, 87, 82, 73, 84, 73, 78, 71, 44,
        32, 118, 97, 108, 117, 101, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110,
        99, 116, 105, 111, 110, 32, 103, 101, 116, 68, 101, 102, 97, 117, 108, 116, 67,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 73, 110, 67, 108, 111, 115, 101,
        70, 108, 97, 103, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 32,
        123, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 66, 111, 111, 108,
        101, 97, 110, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 100,
        101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        70, 108, 97, 103, 115, 93, 32, 38, 32, 70, 76, 65, 71, 95, 73, 78, 67, 76, 79,
        83, 69, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111,
        110, 32, 115, 101, 116, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 73, 110, 67, 108, 111, 115, 101, 70, 108, 97, 103, 40,
        99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 118, 97, 108, 117, 101,
        41, 32, 123, 10, 32, 32, 32, 32, 115, 101, 116, 68, 101, 102, 97, 117, 108, 116,
        67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 70, 108, 97, 103, 40, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 70, 76, 65, 71, 95, 73, 78, 67,
        76, 79, 83, 69, 44, 32, 118, 97, 108, 117, 101, 41, 59, 10, 32, 32, 125, 10, 32,
        32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 114, 101, 106, 101, 99, 116, 80,
        114, 111, 109, 105, 115, 101, 115, 40, 97, 114, 114, 97, 121, 44, 32, 101, 41,
        32, 123, 10, 32, 32, 32, 32, 102, 111, 114, 32, 40, 108, 101, 116, 32, 105, 32,
        61, 32, 48, 59, 32, 105, 32, 60, 32, 97, 114, 114, 97, 121, 46, 108, 101, 110,
        103, 116, 104, 59, 32, 43, 43, 105, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
        118, 56, 46, 114, 101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115, 101, 40,
        97, 114, 114, 97, 121, 91, 105, 93, 44, 32, 101, 41, 59, 10, 32, 32, 32, 32,
        125, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 73,
        115, 80, 114, 111, 112, 101, 114, 116, 121, 75, 101, 121, 40, 97, 114, 103, 117,
        109, 101, 110, 116, 41, 32, 123, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114,
        110, 32, 116, 121, 112, 101, 111, 102, 32, 97, 114, 103, 117, 109, 101, 110,
        116, 32, 61, 61, 61, 32, 39, 115, 116, 114, 105, 110, 103, 39, 32, 124, 124, 32,
        116, 121, 112, 101, 111, 102, 32, 97, 114, 103, 117, 109, 101, 110, 116, 32, 61,
        61, 61, 32, 39, 115, 121, 109, 98, 111, 108, 39, 59, 10, 32, 32, 125, 10, 32,
        32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 84, 69, 77, 80, 95, 65, 83, 83,
        69, 82, 84, 40, 112, 114, 101, 100, 105, 99, 97, 116, 101, 44, 32, 109, 101,
        115, 115, 97, 103, 101, 41, 32, 123, 10, 32, 32, 32, 32, 105, 102, 32, 40, 112,
        114, 101, 100, 105, 99, 97, 116, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
        114, 101, 116, 117, 114, 110, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32,
        118, 56, 46, 108, 111, 103, 40, 96, 65, 115, 115, 101, 114, 116, 105, 111, 110,
        32, 102, 97, 105, 108, 101, 100, 58, 32, 36, 123, 109, 101, 115, 115, 97, 103,
        101, 125, 92, 110, 96, 41, 59, 10, 32, 32, 32, 32, 118, 56, 46, 108, 111, 103,
        83, 116, 97, 99, 107, 84, 114, 97, 99, 101, 40, 41, 59, 10, 32, 32, 32, 32, 99,
        108, 97, 115, 115, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 73, 110, 116, 101, 114, 110, 97, 108, 69, 114, 114, 111, 114, 32, 101,
        120, 116, 101, 110, 100, 115, 32, 69, 114, 114, 111, 114, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 40, 109,
        101, 115, 115, 97, 103, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        115, 117, 112, 101, 114, 40, 109, 101, 115, 115, 97, 103, 101, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 116, 104,
        114, 111, 119, 32, 110, 101, 119, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 73, 110, 116, 101, 114, 110, 97, 108, 69, 114, 114, 111,
        114, 40, 109, 101, 115, 115, 97, 103, 101, 41, 59, 10, 32, 32, 125, 10, 32, 32,
        99, 108, 97, 115, 115, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 114, 117, 99,
        116, 111, 114, 40, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 105,
        110, 107, 32, 61, 32, 123, 125, 44, 32, 123, 32, 115, 105, 122, 101, 44, 32,
        104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114, 107, 32, 61, 32, 49, 32,
        125, 32, 61, 32, 123, 125, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 116, 104,
        105, 115, 91, 95, 115, 116, 97, 116, 101, 93, 32, 61, 32, 87, 82, 73, 84, 65,
        66, 76, 69, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 115,
        116, 111, 114, 101, 100, 69, 114, 114, 111, 114, 93, 32, 61, 32, 117, 110, 100,
        101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105,
        115, 91, 95, 119, 114, 105, 116, 101, 114, 93, 32, 61, 32, 117, 110, 100, 101,
        102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91,
        95, 119, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 93, 32, 61, 32, 117, 110, 100, 101, 102,
        105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95,
        112, 101, 110, 100, 105, 110, 103, 87, 114, 105, 116, 101, 82, 101, 113, 117,
        101, 115, 116, 93, 32, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59,
        10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 112, 101, 110, 100, 105,
        110, 103, 67, 108, 111, 115, 101, 82, 101, 113, 117, 101, 115, 116, 93, 32, 61,
        32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 32, 32,
        116, 104, 105, 115, 91, 95, 112, 101, 110, 100, 105, 110, 103, 65, 98, 111, 114,
        116, 82, 101, 113, 117, 101, 115, 116, 93, 32, 61, 32, 117, 110, 100, 101, 102,
        105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95,
        119, 114, 105, 116, 101, 82, 101, 113, 117, 101, 115, 116, 115, 93, 32, 61, 32,
        110, 101, 119, 32, 118, 56, 46, 73, 110, 116, 101, 114, 110, 97, 108, 80, 97,
        99, 107, 101, 100, 65, 114, 114, 97, 121, 40, 41, 59, 10, 32, 32, 32, 32, 32,
        32, 99, 111, 110, 115, 116, 32, 116, 121, 112, 101, 32, 61, 32, 117, 110, 100,
        101, 114, 108, 121, 105, 110, 103, 83, 105, 110, 107, 46, 116, 121, 112, 101,
        59, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 116, 121, 112, 101, 32, 33,
        61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 82,
        97, 110, 103, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69,
        114, 114, 111, 114, 115, 46, 105, 110, 118, 97, 108, 105, 100, 84, 121, 112,
        101, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 116,
        104, 105, 115, 91, 95, 119, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 93, 32, 61, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 110, 101, 119, 32, 87, 114, 105, 116, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 40, 116, 104, 105, 115, 44, 32,
        117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 105, 110, 107, 44, 32,
        115, 105, 122, 101, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 104, 105, 103, 104, 87, 97,
        116, 101, 114, 77, 97, 114, 107, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32,
        32, 32, 103, 101, 116, 32, 108, 111, 99, 107, 101, 100, 40, 41, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 105, 102, 32, 40, 33, 73, 115, 87, 114, 105, 116, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 40, 116, 104, 105, 115, 41, 41, 32, 123,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119,
        32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109,
        69, 114, 114, 111, 114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118,
        111, 99, 97, 116, 105, 111, 110, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10,
        32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 73, 115, 87, 114, 105,
        116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 76, 111, 99, 107, 101, 100,
        40, 116, 104, 105, 115, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 97,
        98, 111, 114, 116, 40, 114, 101, 97, 115, 111, 110, 41, 32, 123, 10, 32, 32, 32,
        32, 32, 32, 105, 102, 32, 40, 33, 73, 115, 87, 114, 105, 116, 97, 98, 108, 101,
        83, 116, 114, 101, 97, 109, 40, 116, 104, 105, 115, 41, 41, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 80, 114, 111, 109,
        105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 110, 101, 119, 32, 84, 121,
        112, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114,
        111, 114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118, 111, 99, 97,
        116, 105, 111, 110, 41, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 32, 32, 105, 102, 32, 40, 73, 115, 87, 114, 105, 116, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 76, 111, 99, 107, 101, 100, 40, 116, 104, 105, 115, 41,
        41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110,
        32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 110,
        101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 101, 114, 114, 65,
        98, 111, 114, 116, 76, 111, 99, 107, 101, 100, 83, 116, 114, 101, 97, 109, 41,
        41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101,
        116, 117, 114, 110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 65, 98, 111, 114, 116, 40, 116, 104, 105, 115, 44, 32, 114, 101, 97,
        115, 111, 110, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 103, 101,
        116, 87, 114, 105, 116, 101, 114, 40, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
        105, 102, 32, 40, 33, 73, 115, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 40, 116, 104, 105, 115, 41, 41, 32, 123, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121,
        112, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114,
        111, 114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118, 111, 99, 97,
        116, 105, 111, 110, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32,
        32, 32, 114, 101, 116, 117, 114, 110, 32, 65, 99, 113, 117, 105, 114, 101, 87,
        114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 87, 114, 105, 116, 101, 114, 40, 116, 104, 105, 115, 41, 59, 10,
        32, 32, 32, 32, 125, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105,
        111, 110, 32, 65, 99, 113, 117, 105, 114, 101, 87, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 87, 114, 105,
        116, 101, 114, 40, 115, 116, 114, 101, 97, 109, 41, 32, 123, 10, 32, 32, 32, 32,
        114, 101, 116, 117, 114, 110, 32, 110, 101, 119, 32, 87, 114, 105, 116, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 87, 114,
        105, 116, 101, 114, 40, 115, 116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 125,
        10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 73, 115, 87, 114, 105,
        116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 40, 120, 41, 32, 123, 10, 32,
        32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 104, 97, 115, 79, 119, 110, 80,
        114, 111, 112, 101, 114, 116, 121, 40, 120, 44, 32, 95, 119, 114, 105, 116, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111,
        110, 32, 73, 115, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 76, 111, 99, 107, 101, 100, 40, 115, 116, 114, 101, 97, 109, 41, 32, 123,
        10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 73, 115, 87,
        114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 40, 115, 116, 114,
        101, 97, 109, 41, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 39, 33, 32, 73, 115, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 40, 115, 116, 114, 101, 97, 109, 41, 32, 105, 115, 32, 116,
        114, 117, 101, 46, 39, 41, 59, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110,
        32, 115, 116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 101, 114, 93, 32,
        33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32,
        125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 87, 114, 105, 116,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 65, 98, 111, 114, 116, 40, 115,
        116, 114, 101, 97, 109, 44, 32, 114, 101, 97, 115, 111, 110, 41, 32, 123, 10,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 97, 116, 101, 32, 61, 32,
        115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 97, 116, 101, 93, 59, 10, 32, 32,
        32, 32, 105, 102, 32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 67, 76,
        79, 83, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117,
        114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 115, 111, 108,
        118, 101, 40, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 59, 10, 32, 32,
        32, 32, 125, 10, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 97, 116, 101, 32,
        61, 61, 61, 32, 69, 82, 82, 79, 82, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 114, 101, 116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114,
        101, 106, 101, 99, 116, 40, 115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 111,
        114, 101, 100, 69, 114, 114, 111, 114, 93, 41, 59, 10, 32, 32, 32, 32, 125, 10,
        32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115, 116, 97,
        116, 101, 32, 61, 61, 61, 32, 87, 82, 73, 84, 65, 66, 76, 69, 32, 124, 124, 32,
        115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 67, 76, 79, 83, 73, 78, 71, 44, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 115, 116, 97,
        116, 101, 32, 105, 115, 32, 34, 119, 114, 105, 116, 97, 98, 108, 101, 34, 32,
        111, 114, 32, 34, 99, 108, 111, 115, 105, 110, 103, 34, 46, 39, 41, 59, 10, 32,
        32, 32, 32, 99, 111, 110, 115, 116, 32, 101, 114, 114, 111, 114, 32, 61, 32,
        110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 101, 114, 114,
        83, 116, 114, 101, 97, 109, 65, 98, 111, 114, 116, 101, 100, 41, 59, 10, 32, 32,
        32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 69,
        114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 44, 32, 101, 114, 114, 111,
        114, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 99, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 32, 61, 32, 115, 116, 114, 101, 97, 109, 91, 95,
        119, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 93, 59, 10, 32, 32, 32, 32, 84, 69, 77, 80,
        95, 65, 83, 83, 69, 82, 84, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 44, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 99, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 32, 105, 115, 32, 110, 111, 116, 32, 117, 110,
        100, 101, 102, 105, 110, 101, 100, 39, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110,
        115, 116, 32, 105, 115, 87, 114, 105, 116, 105, 110, 103, 32, 61, 32, 103, 101,
        116, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 87, 114, 105, 116, 105, 110, 103, 70, 108, 97, 103, 40, 99, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 41, 59, 10, 32, 32, 32, 32, 105, 102, 32, 40,
        105, 115, 87, 114, 105, 116, 105, 110, 103, 32, 124, 124, 32, 103, 101, 116, 68,
        101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        73, 110, 67, 108, 111, 115, 101, 70, 108, 97, 103, 40, 99, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 99, 111,
        110, 115, 116, 32, 112, 114, 111, 109, 105, 115, 101, 32, 61, 32, 32, 118, 56,
        46, 99, 114, 101, 97, 116, 101, 80, 114, 111, 109, 105, 115, 101, 40, 41, 59,
        10, 32, 32, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110,
        100, 105, 110, 103, 65, 98, 111, 114, 116, 82, 101, 113, 117, 101, 115, 116, 93,
        32, 61, 32, 112, 114, 111, 109, 105, 115, 101, 59, 10, 32, 32, 32, 32, 32, 32,
        105, 102, 32, 40, 105, 115, 87, 114, 105, 116, 105, 110, 103, 41, 32, 123, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 116, 104, 101,
        110, 80, 114, 111, 109, 105, 115, 101, 40, 112, 114, 111, 109, 105, 115, 101,
        44, 32, 40, 41, 32, 61, 62, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        114, 101, 116, 117, 114, 110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 65, 98, 111, 114, 116, 40, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 44, 32, 114, 101, 97, 115, 111, 110, 41, 59, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 125, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 112, 114, 111, 109, 105, 115, 101,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110,
        32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101,
        102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 65, 98,
        111, 114, 116, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 114,
        101, 97, 115, 111, 110, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99,
        116, 105, 111, 110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 65, 100, 100, 87, 114, 105, 116, 101, 82, 101, 113, 117, 101, 115, 116,
        40, 115, 116, 114, 101, 97, 109, 41, 32, 123, 10, 32, 32, 32, 32, 84, 69, 77,
        80, 95, 65, 83, 83, 69, 82, 84, 40, 73, 115, 87, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 76, 111, 99, 107, 101, 100, 40, 115, 116, 114,
        101, 97, 109, 41, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 39, 33, 32, 73, 115, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 76, 111, 99, 107, 101, 100, 40, 119, 114, 105, 116, 101, 114,
        41, 32, 105, 115, 32, 116, 114, 117, 101, 46, 39, 41, 59, 10, 32, 32, 32, 32,
        84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115, 116, 114, 101, 97, 109, 91,
        95, 115, 116, 97, 116, 101, 93, 32, 61, 61, 61, 32, 87, 82, 73, 84, 65, 66, 76,
        69, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39,
        115, 116, 114, 101, 97, 109, 46, 91, 91, 115, 116, 97, 116, 101, 93, 93, 32,
        105, 115, 32, 34, 119, 114, 105, 116, 97, 98, 108, 101, 34, 46, 39, 41, 59, 10,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 112, 114, 111, 109, 105, 115, 101,
        32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 111, 109, 105,
        115, 101, 40, 41, 59, 10, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95,
        119, 114, 105, 116, 101, 82, 101, 113, 117, 101, 115, 116, 115, 93, 46, 112,
        117, 115, 104, 40, 112, 114, 111, 109, 105, 115, 101, 41, 59, 10, 32, 32, 32,
        32, 114, 101, 116, 117, 114, 110, 32, 112, 114, 111, 109, 105, 115, 101, 59, 10,
        32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 87, 114,
        105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114,
        40, 115, 116, 114, 101, 97, 109, 44, 32, 101, 41, 32, 123, 10, 32, 32, 32, 32,
        99, 111, 110, 115, 116, 32, 111, 108, 100, 83, 116, 97, 116, 101, 32, 61, 32,
        115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 97, 116, 101, 93, 59, 10, 32, 32,
        32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 111, 108, 100, 83, 116,
        97, 116, 101, 32, 61, 61, 61, 32, 87, 82, 73, 84, 65, 66, 76, 69, 32, 124, 124,
        32, 111, 108, 100, 83, 116, 97, 116, 101, 32, 61, 61, 61, 32, 67, 76, 79, 83,
        73, 78, 71, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 39, 111, 108, 100, 83, 116, 97, 116, 101, 32, 105, 115, 32, 34, 119, 114,
        105, 116, 97, 98, 108, 101, 34, 32, 111, 114, 32, 34, 99, 108, 111, 115, 105,
        110, 103, 34, 46, 39, 41, 59, 10, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109,
        91, 95, 115, 116, 97, 116, 101, 93, 32, 61, 32, 69, 82, 82, 79, 82, 69, 68, 59,
        10, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 111, 114,
        101, 100, 69, 114, 114, 111, 114, 93, 32, 61, 32, 101, 59, 10, 32, 32, 32, 32,
        99, 111, 110, 115, 116, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 32,
        61, 32, 115, 116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 93, 59, 10, 32, 32, 32, 32, 105, 102, 32, 40, 99, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 32, 61, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101,
        100, 32, 124, 124, 10, 32, 32, 32, 32, 32, 32, 32, 32, 40, 33, 103, 101, 116,
        68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 87, 114, 105, 116, 105, 110, 103, 70, 108, 97, 103, 40, 99, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 41, 32, 38, 38, 10, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 33, 103, 101, 116, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 73, 110, 67, 108, 111, 115, 101, 70, 108, 97, 103,
        40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 41, 41, 32, 123, 10,
        32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 82, 101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115, 101, 115, 73,
        110, 82, 101, 97, 99, 116, 105, 111, 110, 84, 111, 69, 114, 114, 111, 114, 40,
        115, 116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 99, 111, 110, 115, 116, 32, 119, 114, 105, 116, 101, 114, 32, 61, 32, 115,
        116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 101, 114, 93, 59, 10, 32,
        32, 32, 32, 105, 102, 32, 40, 119, 114, 105, 116, 101, 114, 32, 33, 61, 61, 32,
        117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32,
        32, 32, 105, 102, 32, 40, 111, 108, 100, 83, 116, 97, 116, 101, 32, 61, 61, 61,
        32, 87, 82, 73, 84, 65, 66, 76, 69, 32, 38, 38, 10, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68,
        101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        71, 101, 116, 66, 97, 99, 107, 112, 114, 101, 115, 115, 117, 114, 101, 40, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 32, 61, 61, 61, 32, 116, 114,
        117, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 118, 56, 46, 114,
        101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115, 101, 40, 119, 114, 105,
        116, 101, 114, 91, 95, 114, 101, 97, 100, 121, 80, 114, 111, 109, 105, 115, 101,
        93, 44, 32, 101, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 32, 101, 108, 115,
        101, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 119, 114, 105, 116, 101, 114,
        91, 95, 114, 101, 97, 100, 121, 80, 114, 111, 109, 105, 115, 101, 93, 32, 61,
        32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 101,
        41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 118, 56,
        46, 109, 97, 114, 107, 80, 114, 111, 109, 105, 115, 101, 65, 115, 72, 97, 110,
        100, 108, 101, 100, 40, 119, 114, 105, 116, 101, 114, 91, 95, 114, 101, 97, 100,
        121, 80, 114, 111, 109, 105, 115, 101, 93, 41, 59, 10, 32, 32, 32, 32, 125, 10,
        32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 87, 114,
        105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 70, 105, 110, 105, 115,
        104, 67, 108, 111, 115, 101, 40, 115, 116, 114, 101, 97, 109, 41, 32, 123, 10,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 97, 116, 101, 32, 61, 32,
        115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 97, 116, 101, 93, 59, 10, 32, 32,
        32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115, 116, 97, 116, 101,
        32, 61, 61, 61, 32, 67, 76, 79, 83, 73, 78, 71, 32, 124, 124, 32, 115, 116, 97,
        116, 101, 32, 61, 61, 61, 32, 69, 82, 82, 79, 82, 69, 68, 44, 10, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 115, 116, 97, 116, 101,
        32, 105, 115, 32, 34, 99, 108, 111, 115, 105, 110, 103, 34, 32, 111, 114, 32,
        34, 101, 114, 114, 111, 114, 101, 100, 34, 39, 41, 59, 10, 32, 32, 32, 32, 99,
        111, 110, 115, 116, 32, 119, 114, 105, 116, 101, 114, 32, 61, 32, 115, 116, 114,
        101, 97, 109, 91, 95, 119, 114, 105, 116, 101, 114, 93, 59, 10, 32, 32, 32, 32,
        105, 102, 32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 67, 76, 79, 83,
        73, 78, 71, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 119, 114,
        105, 116, 101, 114, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101,
        100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 118, 56, 46, 114, 101,
        115, 111, 108, 118, 101, 80, 114, 111, 109, 105, 115, 101, 40, 119, 114, 105,
        116, 101, 114, 91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115,
        101, 93, 44, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 115, 116, 114, 101, 97,
        109, 91, 95, 115, 116, 97, 116, 101, 93, 32, 61, 32, 67, 76, 79, 83, 69, 68, 59,
        10, 32, 32, 32, 32, 125, 32, 101, 108, 115, 101, 32, 105, 102, 32, 40, 119, 114,
        105, 116, 101, 114, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101,
        100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83,
        69, 82, 84, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 69, 82, 82, 79, 82,
        69, 68, 44, 32, 39, 115, 116, 97, 116, 101, 32, 105, 115, 32, 34, 101, 114, 114,
        111, 114, 101, 100, 34, 39, 41, 59, 10, 32, 32, 32, 32, 32, 32, 118, 56, 46,
        114, 101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115, 101, 40, 119, 114,
        105, 116, 101, 114, 91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105,
        115, 101, 93, 44, 32, 115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 111, 114,
        101, 100, 69, 114, 114, 111, 114, 93, 41, 59, 10, 32, 32, 32, 32, 32, 32, 118,
        56, 46, 109, 97, 114, 107, 80, 114, 111, 109, 105, 115, 101, 65, 115, 72, 97,
        110, 100, 108, 101, 100, 40, 119, 114, 105, 116, 101, 114, 91, 95, 99, 108, 111,
        115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93, 41, 59, 10, 32, 32, 32, 32,
        125, 10, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 114, 101, 97, 109, 91, 95,
        112, 101, 110, 100, 105, 110, 103, 65, 98, 111, 114, 116, 82, 101, 113, 117,
        101, 115, 116, 93, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101,
        100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 118, 56, 46, 114, 101, 115, 111,
        108, 118, 101, 80, 114, 111, 109, 105, 115, 101, 40, 115, 116, 114, 101, 97,
        109, 91, 95, 112, 101, 110, 100, 105, 110, 103, 65, 98, 111, 114, 116, 82, 101,
        113, 117, 101, 115, 116, 93, 44, 32, 117, 110, 100, 101, 102, 105, 110, 101,
        100, 41, 59, 10, 32, 32, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95,
        112, 101, 110, 100, 105, 110, 103, 65, 98, 111, 114, 116, 82, 101, 113, 117,
        101, 115, 116, 93, 32, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59,
        10, 32, 32, 32, 32, 125, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116,
        105, 111, 110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 82, 101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115, 101, 115, 73, 110,
        82, 101, 97, 99, 116, 105, 111, 110, 84, 111, 69, 114, 114, 111, 114, 40, 115,
        116, 114, 101, 97, 109, 41, 32, 123, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65,
        83, 83, 69, 82, 84, 40, 115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 97, 116,
        101, 93, 32, 61, 61, 61, 32, 69, 82, 82, 79, 82, 69, 68, 44, 32, 39, 115, 116,
        114, 101, 97, 109, 46, 91, 91, 115, 116, 97, 116, 101, 93, 93, 32, 105, 115, 32,
        34, 101, 114, 114, 111, 114, 101, 100, 34, 39, 41, 59, 10, 32, 32, 32, 32, 84,
        69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115, 116, 114, 101, 97, 109, 91, 95,
        112, 101, 110, 100, 105, 110, 103, 87, 114, 105, 116, 101, 82, 101, 113, 117,
        101, 115, 116, 93, 32, 61, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101,
        100, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39,
        115, 116, 114, 101, 97, 109, 46, 91, 91, 112, 101, 110, 100, 105, 110, 103, 87,
        114, 105, 116, 101, 82, 101, 113, 117, 101, 115, 116, 93, 93, 32, 105, 115, 32,
        117, 110, 100, 101, 102, 105, 110, 101, 100, 39, 41, 59, 10, 32, 32, 32, 32, 99,
        111, 110, 115, 116, 32, 115, 116, 111, 114, 101, 100, 69, 114, 114, 111, 114,
        32, 61, 32, 115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 111, 114, 101, 100,
        69, 114, 114, 111, 114, 93, 59, 10, 32, 32, 32, 32, 114, 101, 106, 101, 99, 116,
        80, 114, 111, 109, 105, 115, 101, 115, 40, 115, 116, 114, 101, 97, 109, 91, 95,
        119, 114, 105, 116, 101, 82, 101, 113, 117, 101, 115, 116, 115, 93, 44, 32, 115,
        116, 111, 114, 101, 100, 69, 114, 114, 111, 114, 41, 59, 10, 32, 32, 32, 32,
        115, 116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 101, 82, 101, 113, 117,
        101, 115, 116, 115, 93, 32, 61, 32, 110, 101, 119, 32, 118, 56, 46, 73, 110,
        116, 101, 114, 110, 97, 108, 80, 97, 99, 107, 101, 100, 65, 114, 114, 97, 121,
        40, 41, 59, 10, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 114, 101, 97, 109,
        91, 95, 112, 101, 110, 100, 105, 110, 103, 67, 108, 111, 115, 101, 82, 101, 113,
        117, 101, 115, 116, 93, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110,
        101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83,
        83, 69, 82, 84, 40, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 103, 101, 116,
        68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 73, 110, 67, 108, 111, 115, 101, 70, 108, 97, 103, 40, 115, 116, 114, 101,
        97, 109, 91, 95, 119, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 93, 41, 32, 61, 61, 61,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 102, 97, 108, 115, 101, 44, 32, 39,
        115, 116, 114, 101, 97, 109, 46, 91, 91, 119, 114, 105, 116, 97, 98, 108, 101,
        83, 116, 114, 101, 97, 109, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 93,
        93, 46, 91, 91, 105, 110, 67, 108, 111, 115, 101, 93, 93, 32, 61, 61, 61, 32,
        102, 97, 108, 115, 101, 39, 41, 59, 10, 32, 32, 32, 32, 32, 32, 118, 56, 46,
        114, 101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115, 101, 40, 115, 116,
        114, 101, 97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103, 67, 108, 111, 115,
        101, 82, 101, 113, 117, 101, 115, 116, 93, 44, 32, 115, 116, 111, 114, 101, 100,
        69, 114, 114, 111, 114, 41, 59, 10, 32, 32, 32, 32, 32, 32, 115, 116, 114, 101,
        97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103, 67, 108, 111, 115, 101, 82,
        101, 113, 117, 101, 115, 116, 93, 32, 61, 32, 117, 110, 100, 101, 102, 105, 110,
        101, 100, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 119, 114, 105, 116, 101, 114, 32, 61, 32, 115, 116, 114, 101, 97, 109,
        91, 95, 119, 114, 105, 116, 101, 114, 93, 59, 10, 32, 32, 32, 32, 105, 102, 32,
        40, 119, 114, 105, 116, 101, 114, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102,
        105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 118, 56, 46, 114,
        101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115, 101, 40, 119, 114, 105,
        116, 101, 114, 91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115,
        101, 93, 44, 32, 115, 116, 111, 114, 101, 100, 69, 114, 114, 111, 114, 41, 59,
        10, 32, 32, 32, 32, 32, 32, 118, 56, 46, 109, 97, 114, 107, 80, 114, 111, 109,
        105, 115, 101, 65, 115, 72, 97, 110, 100, 108, 101, 100, 40, 119, 114, 105, 116,
        101, 114, 91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101,
        93, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110,
        99, 116, 105, 111, 110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 85, 112, 100, 97, 116, 101, 66, 97, 99, 107, 112, 114, 101, 115,
        115, 117, 114, 101, 40, 115, 116, 114, 101, 97, 109, 44, 32, 98, 97, 99, 107,
        112, 114, 101, 115, 115, 117, 114, 101, 41, 32, 123, 10, 32, 32, 32, 32, 84, 69,
        77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115, 116, 114, 101, 97, 109, 91, 95,
        115, 116, 97, 116, 101, 93, 32, 61, 61, 61, 32, 87, 82, 73, 84, 65, 66, 76, 69,
        44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 115,
        116, 114, 101, 97, 109, 46, 91, 91, 115, 116, 97, 116, 101, 93, 93, 32, 105,
        115, 32, 34, 119, 114, 105, 116, 97, 98, 108, 101, 34, 46, 39, 41, 59, 10, 32,
        32, 32, 32, 99, 111, 110, 115, 116, 32, 119, 114, 105, 116, 101, 114, 32, 61,
        32, 115, 116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 101, 114, 93, 59,
        10, 32, 32, 32, 32, 105, 102, 32, 40, 119, 114, 105, 116, 101, 114, 32, 61, 61,
        61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 59, 10, 32, 32, 32, 32, 125, 10,
        32, 32, 32, 32, 105, 102, 32, 40, 98, 97, 99, 107, 112, 114, 101, 115, 115, 117,
        114, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 119, 114, 105, 116, 101, 114,
        91, 95, 114, 101, 97, 100, 121, 80, 114, 111, 109, 105, 115, 101, 93, 32, 61,
        32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 111, 109, 105, 115, 101,
        40, 41, 59, 10, 32, 32, 32, 32, 125, 32, 101, 108, 115, 101, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 98, 97, 99,
        107, 112, 114, 101, 115, 115, 117, 114, 101, 32, 61, 61, 61, 32, 102, 97, 108,
        115, 101, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 39, 98, 97, 99, 107, 112, 114, 101, 115, 115, 117, 114, 101, 32,
        105, 115, 32, 102, 97, 108, 115, 101, 46, 39, 41, 59, 10, 32, 32, 32, 32, 32,
        32, 118, 56, 46, 114, 101, 115, 111, 108, 118, 101, 80, 114, 111, 109, 105, 115,
        101, 40, 119, 114, 105, 116, 101, 114, 91, 95, 114, 101, 97, 100, 121, 80, 114,
        111, 109, 105, 115, 101, 93, 44, 32, 117, 110, 100, 101, 102, 105, 110, 101,
        100, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 125, 10, 32, 32, 99, 108, 97,
        115, 115, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        68, 101, 102, 97, 117, 108, 116, 87, 114, 105, 116, 101, 114, 32, 123, 10, 32,
        32, 32, 32, 99, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 40, 115, 116,
        114, 101, 97, 109, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40,
        33, 73, 115, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        40, 115, 116, 114, 101, 97, 109, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
        32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112, 101, 69,
        114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114,
        115, 46, 105, 108, 108, 101, 103, 97, 108, 67, 111, 110, 115, 116, 114, 117, 99,
        116, 111, 114, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32,
        32, 105, 102, 32, 40, 73, 115, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 76, 111, 99, 107, 101, 100, 40, 115, 116, 114, 101, 97, 109,
        41, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119,
        32, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 115, 116,
        114, 101, 97, 109, 69, 114, 114, 111, 114, 115, 46, 105, 108, 108, 101, 103, 97,
        108, 67, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 41, 59, 10, 32, 32,
        32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95,
        111, 119, 110, 101, 114, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 93, 32, 61, 32, 115, 116, 114, 101, 97, 109, 59, 10, 32, 32, 32, 32,
        32, 32, 115, 116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 101, 114, 93,
        32, 61, 32, 116, 104, 105, 115, 59, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110,
        115, 116, 32, 115, 116, 97, 116, 101, 32, 61, 32, 115, 116, 114, 101, 97, 109,
        91, 95, 115, 116, 97, 116, 101, 93, 59, 10, 32, 32, 32, 32, 32, 32, 105, 102,
        32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 87, 82, 73, 84, 65, 66, 76,
        69, 32, 124, 124, 32, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 67, 76, 79,
        83, 73, 78, 71, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 105,
        115, 91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93,
        32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 111, 109, 105,
        115, 101, 40, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 32, 101, 108, 115, 101,
        32, 105, 102, 32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 67, 76, 79,
        83, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115,
        91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93, 32,
        61, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 115, 111, 108, 118, 101,
        40, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 59, 10, 32, 32, 32, 32, 32,
        32, 125, 32, 101, 108, 115, 101, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115, 116, 97, 116, 101, 32, 61,
        61, 61, 32, 69, 82, 82, 79, 82, 69, 68, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 115, 116, 97, 116, 101, 32,
        105, 115, 32, 34, 101, 114, 114, 111, 114, 101, 100, 34, 46, 39, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 99, 108, 111, 115, 101,
        100, 80, 114, 111, 109, 105, 115, 101, 93, 32, 61, 32, 80, 114, 111, 109, 105,
        115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 115, 116, 114, 101, 97, 109, 91,
        95, 115, 116, 111, 114, 101, 100, 69, 114, 114, 111, 114, 93, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 118, 56, 46, 109, 97, 114, 107, 80, 114, 111, 109,
        105, 115, 101, 65, 115, 72, 97, 110, 100, 108, 101, 100, 40, 116, 104, 105, 115,
        91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93, 41,
        59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32,
        40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 87, 82, 73, 84, 65, 66, 76, 69,
        32, 38, 38, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 71, 101, 116, 66, 97, 99, 107, 112,
        114, 101, 115, 115, 117, 114, 101, 40, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 93, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104,
        105, 115, 91, 95, 114, 101, 97, 100, 121, 80, 114, 111, 109, 105, 115, 101, 93,
        32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114, 111, 109, 105,
        115, 101, 40, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 32, 101, 108, 115, 101,
        32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 114,
        101, 97, 100, 121, 80, 114, 111, 109, 105, 115, 101, 93, 32, 61, 32, 80, 114,
        111, 109, 105, 115, 101, 95, 114, 101, 115, 111, 108, 118, 101, 40, 117, 110,
        100, 101, 102, 105, 110, 101, 100, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10,
        32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 103, 101, 116, 32, 99, 108, 111, 115,
        101, 100, 40, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 33, 73,
        115, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101,
        102, 97, 117, 108, 116, 87, 114, 105, 116, 101, 114, 40, 116, 104, 105, 115, 41,
        41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110,
        32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 110,
        101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101,
        97, 109, 69, 114, 114, 111, 114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73,
        110, 118, 111, 99, 97, 116, 105, 111, 110, 41, 41, 59, 10, 32, 32, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 116, 104,
        105, 115, 91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101,
        93, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 103, 101, 116, 32, 100,
        101, 115, 105, 114, 101, 100, 83, 105, 122, 101, 40, 41, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 105, 102, 32, 40, 33, 73, 115, 87, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 87, 114, 105,
        116, 101, 114, 40, 116, 104, 105, 115, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112, 101,
        69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114,
        115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118, 111, 99, 97, 116, 105,
        111, 110, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32,
        105, 102, 32, 40, 116, 104, 105, 115, 91, 95, 111, 119, 110, 101, 114, 87, 114,
        105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 32, 61, 61, 61, 32,
        117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 99, 114, 101, 97, 116, 101, 87,
        114, 105, 116, 101, 114, 76, 111, 99, 107, 82, 101, 108, 101, 97, 115, 101, 100,
        69, 114, 114, 111, 114, 40, 118, 101, 114, 98, 85, 115, 101, 100, 84, 111, 71,
        101, 116, 84, 104, 101, 68, 101, 115, 105, 114, 101, 100, 83, 105, 122, 101, 41,
        59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116,
        117, 114, 110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 68, 101, 102, 97, 117, 108, 116, 87, 114, 105, 116, 101, 114, 71, 101, 116,
        68, 101, 115, 105, 114, 101, 100, 83, 105, 122, 101, 40, 116, 104, 105, 115, 41,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 103, 101, 116, 32, 114, 101,
        97, 100, 121, 40, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 33,
        73, 115, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68,
        101, 102, 97, 117, 108, 116, 87, 114, 105, 116, 101, 114, 40, 116, 104, 105,
        115, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117,
        114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116,
        40, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 115, 116,
        114, 101, 97, 109, 69, 114, 114, 111, 114, 115, 46, 105, 108, 108, 101, 103, 97,
        108, 73, 110, 118, 111, 99, 97, 116, 105, 111, 110, 41, 41, 59, 10, 32, 32, 32,
        32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32,
        116, 104, 105, 115, 91, 95, 114, 101, 97, 100, 121, 80, 114, 111, 109, 105, 115,
        101, 93, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 97, 98, 111, 114, 116,
        40, 114, 101, 97, 115, 111, 110, 41, 32, 123, 10, 32, 32, 32, 32, 32, 105, 102,
        32, 40, 33, 73, 115, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 68, 101, 102, 97, 117, 108, 116, 87, 114, 105, 116, 101, 114, 40, 116, 104,
        105, 115, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116,
        117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99,
        116, 40, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 115,
        116, 114, 101, 97, 109, 69, 114, 114, 111, 114, 115, 46, 105, 108, 108, 101,
        103, 97, 108, 73, 110, 118, 111, 99, 97, 116, 105, 111, 110, 41, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 116, 104,
        105, 115, 91, 95, 111, 119, 110, 101, 114, 87, 114, 105, 116, 97, 98, 108, 101,
        83, 116, 114, 101, 97, 109, 93, 32, 61, 61, 61, 32, 117, 110, 100, 101, 102,
        105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101,
        116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106,
        101, 99, 116, 40, 99, 114, 101, 97, 116, 101, 87, 114, 105, 116, 101, 114, 76,
        111, 99, 107, 82, 101, 108, 101, 97, 115, 101, 100, 69, 114, 114, 111, 114, 40,
        118, 101, 114, 98, 65, 98, 111, 114, 116, 101, 100, 41, 41, 59, 10, 32, 32, 32,
        32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32,
        87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102,
        97, 117, 108, 116, 87, 114, 105, 116, 101, 114, 65, 98, 111, 114, 116, 40, 116,
        104, 105, 115, 44, 32, 114, 101, 97, 115, 111, 110, 41, 59, 10, 32, 32, 32, 32,
        125, 10, 32, 32, 32, 32, 99, 108, 111, 115, 101, 40, 41, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 105, 102, 32, 40, 33, 73, 115, 87, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 87, 114, 105,
        116, 101, 114, 40, 116, 104, 105, 115, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101,
        95, 114, 101, 106, 101, 99, 116, 40, 110, 101, 119, 32, 84, 121, 112, 101, 69,
        114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114,
        115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118, 111, 99, 97, 116, 105,
        111, 110, 41, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32,
        32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32, 116,
        104, 105, 115, 91, 95, 111, 119, 110, 101, 114, 87, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32, 32, 32, 32, 32, 32, 105, 102,
        32, 40, 115, 116, 114, 101, 97, 109, 32, 61, 61, 61, 32, 117, 110, 100, 101,
        102, 105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114,
        101, 116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101,
        106, 101, 99, 116, 40, 99, 114, 101, 97, 116, 101, 87, 114, 105, 116, 101, 114,
        76, 111, 99, 107, 82, 101, 108, 101, 97, 115, 101, 100, 69, 114, 114, 111, 114,
        40, 118, 101, 114, 98, 67, 108, 111, 115, 101, 100, 41, 41, 59, 10, 32, 32, 32,
        32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 114,
        101, 97, 109, 91, 95, 115, 116, 97, 116, 101, 93, 32, 61, 61, 61, 32, 67, 76,
        79, 83, 73, 78, 71, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101,
        116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106,
        101, 99, 116, 40, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114,
        40, 101, 114, 114, 67, 108, 111, 115, 101, 67, 108, 111, 115, 101, 82, 101, 113,
        117, 101, 115, 116, 101, 100, 83, 116, 114, 101, 97, 109, 41, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114,
        110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68,
        101, 102, 97, 117, 108, 116, 87, 114, 105, 116, 101, 114, 67, 108, 111, 115,
        101, 40, 116, 104, 105, 115, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 114, 101, 108, 101, 97, 115, 101, 76, 111, 99, 107, 40, 41, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 105, 102, 32, 40, 33, 73, 115, 87, 114, 105, 116, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 87, 114,
        105, 116, 101, 114, 40, 116, 104, 105, 115, 41, 41, 32, 123, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112,
        101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111,
        114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118, 111, 99, 97, 116,
        105, 111, 110, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32,
        32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32, 116,
        104, 105, 115, 91, 95, 111, 119, 110, 101, 114, 87, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32, 32, 32, 32, 32, 32, 105, 102,
        32, 40, 115, 116, 114, 101, 97, 109, 32, 61, 61, 61, 32, 117, 110, 100, 101,
        102, 105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114,
        101, 116, 117, 114, 110, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115, 116, 114, 101,
        97, 109, 91, 95, 119, 114, 105, 116, 101, 114, 93, 32, 33, 61, 61, 32, 117, 110,
        100, 101, 102, 105, 110, 101, 100, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 115, 116, 114, 101, 97, 109, 46, 91, 91,
        119, 114, 105, 116, 101, 114, 93, 93, 32, 105, 115, 32, 110, 111, 116, 32, 117,
        110, 100, 101, 102, 105, 110, 101, 100, 46, 39, 41, 59, 10, 32, 32, 32, 32, 32,
        32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101,
        102, 97, 117, 108, 116, 87, 114, 105, 116, 101, 114, 82, 101, 108, 101, 97, 115,
        101, 40, 116, 104, 105, 115, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 119, 114, 105, 116, 101, 40, 99, 104, 117, 110, 107, 41, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 105, 102, 32, 40, 33, 73, 115, 87, 114, 105, 116, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 87, 114,
        105, 116, 101, 114, 40, 116, 104, 105, 115, 41, 41, 32, 123, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115,
        101, 95, 114, 101, 106, 101, 99, 116, 40, 110, 101, 119, 32, 84, 121, 112, 101,
        69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114,
        115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110, 118, 111, 99, 97, 116, 105,
        111, 110, 41, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32,
        32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32, 116,
        104, 105, 115, 91, 95, 111, 119, 110, 101, 114, 87, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32, 32, 32, 32, 32, 32, 105, 102,
        32, 40, 115, 116, 114, 101, 97, 109, 32, 61, 61, 61, 32, 117, 110, 100, 101,
        102, 105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 114,
        101, 116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101,
        106, 101, 99, 116, 40, 99, 114, 101, 97, 116, 101, 87, 114, 105, 116, 101, 114,
        76, 111, 99, 107, 82, 101, 108, 101, 97, 115, 101, 100, 69, 114, 114, 111, 114,
        40, 118, 101, 114, 98, 87, 114, 105, 116, 116, 101, 110, 84, 111, 41, 41, 59,
        10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40,
        115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 97, 116, 101, 93, 32, 61, 61, 61,
        32, 67, 76, 79, 83, 73, 78, 71, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        114, 101, 116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114,
        101, 106, 101, 99, 116, 40, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114,
        111, 114, 40, 101, 114, 114, 87, 114, 105, 116, 101, 67, 108, 111, 115, 101, 82,
        101, 113, 117, 101, 115, 116, 101, 100, 83, 116, 114, 101, 97, 109, 41, 41, 59,
        10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117,
        114, 110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        68, 101, 102, 97, 117, 108, 116, 87, 114, 105, 116, 101, 114, 87, 114, 105, 116,
        101, 40, 116, 104, 105, 115, 44, 32, 99, 104, 117, 110, 107, 41, 59, 10, 32, 32,
        32, 32, 125, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110,
        32, 73, 115, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        68, 101, 102, 97, 117, 108, 116, 87, 114, 105, 116, 101, 114, 40, 120, 41, 32,
        123, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 104, 97, 115, 79,
        119, 110, 80, 114, 111, 112, 101, 114, 116, 121, 40, 120, 44, 32, 95, 111, 119,
        110, 101, 114, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32,
        87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102,
        97, 117, 108, 116, 87, 114, 105, 116, 101, 114, 65, 98, 111, 114, 116, 40, 119,
        114, 105, 116, 101, 114, 44, 32, 114, 101, 97, 115, 111, 110, 41, 32, 123, 10,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32, 61,
        32, 119, 114, 105, 116, 101, 114, 91, 95, 111, 119, 110, 101, 114, 87, 114, 105,
        116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32, 32, 32, 32,
        84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115, 116, 114, 101, 97, 109, 32,
        33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 44, 10, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 115, 116, 114, 101, 97,
        109, 32, 105, 115, 32, 110, 111, 116, 32, 117, 110, 100, 101, 102, 105, 110,
        101, 100, 46, 39, 41, 59, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32,
        87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 65, 98, 111,
        114, 116, 40, 115, 116, 114, 101, 97, 109, 44, 32, 114, 101, 97, 115, 111, 110,
        41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32,
        87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102,
        97, 117, 108, 116, 87, 114, 105, 116, 101, 114, 67, 108, 111, 115, 101, 40, 119,
        114, 105, 116, 101, 114, 41, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32, 119, 114, 105, 116, 101, 114,
        91, 95, 111, 119, 110, 101, 114, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 93, 59, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83,
        69, 82, 84, 40, 115, 116, 114, 101, 97, 109, 32, 33, 61, 61, 32, 117, 110, 100,
        101, 102, 105, 110, 101, 100, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 39, 115, 116, 114, 101, 97, 109, 32, 105, 115, 32, 110,
        111, 116, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 46, 39, 41, 59, 10,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 97, 116, 101, 32, 61, 32,
        115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 97, 116, 101, 93, 59, 10, 32, 32,
        32, 32, 105, 102, 32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 67, 76,
        79, 83, 69, 68, 32, 124, 124, 32, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32,
        69, 82, 82, 79, 82, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101,
        116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106,
        101, 99, 116, 40, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 99, 114, 101, 97,
        116, 101, 67, 97, 110, 110, 111, 116, 65, 99, 116, 105, 111, 110, 79, 110, 83,
        116, 97, 116, 101, 83, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114, 40, 39,
        99, 108, 111, 115, 101, 39, 44, 32, 115, 116, 97, 116, 101, 41, 41, 59, 10, 32,
        32, 32, 32, 125, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84,
        40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 87, 82, 73, 84, 65, 66, 76, 69,
        44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 115,
        116, 97, 116, 101, 32, 105, 115, 32, 34, 119, 114, 105, 116, 97, 98, 108, 101,
        34, 46, 39, 41, 59, 10, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95,
        112, 101, 110, 100, 105, 110, 103, 67, 108, 111, 115, 101, 82, 101, 113, 117,
        101, 115, 116, 93, 32, 61, 32, 118, 56, 46, 99, 114, 101, 97, 116, 101, 80, 114,
        111, 109, 105, 115, 101, 40, 41, 59, 10, 32, 32, 32, 32, 105, 102, 32, 40, 87,
        114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 71, 101, 116,
        66, 97, 99, 107, 112, 114, 101, 115, 115, 117, 114, 101, 40, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 93, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 118, 56, 46, 114,
        101, 115, 111, 108, 118, 101, 80, 114, 111, 109, 105, 115, 101, 40, 119, 114,
        105, 116, 101, 114, 91, 95, 114, 101, 97, 100, 121, 80, 114, 111, 109, 105, 115,
        101, 93, 44, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 59, 10, 32,
        32, 32, 32, 125, 10, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95, 115,
        116, 97, 116, 101, 93, 32, 61, 32, 67, 76, 79, 83, 73, 78, 71, 59, 10, 32, 32,
        32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68,
        101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        67, 108, 111, 115, 101, 40, 115, 116, 114, 101, 97, 109, 91, 95, 119, 114, 105,
        116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 93, 41, 59, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114,
        110, 32, 115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103,
        67, 108, 111, 115, 101, 82, 101, 113, 117, 101, 115, 116, 93, 59, 10, 32, 32,
        125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 87, 114, 105, 116,
        97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116,
        87, 114, 105, 116, 101, 114, 71, 101, 116, 68, 101, 115, 105, 114, 101, 100, 83,
        105, 122, 101, 40, 119, 114, 105, 116, 101, 114, 41, 32, 123, 10, 32, 32, 32,
        32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32, 119,
        114, 105, 116, 101, 114, 91, 95, 111, 119, 110, 101, 114, 87, 114, 105, 116, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32, 32, 32, 32, 99, 111,
        110, 115, 116, 32, 115, 116, 97, 116, 101, 32, 61, 32, 115, 116, 114, 101, 97,
        109, 91, 95, 115, 116, 97, 116, 101, 93, 59, 10, 32, 32, 32, 32, 105, 102, 32,
        40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 69, 82, 82, 79, 82, 69, 68, 41,
        32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 110, 117,
        108, 108, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 105, 102, 32, 40,
        115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 67, 76, 79, 83, 69, 68, 41, 32, 123,
        10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 48, 59, 10, 32,
        32, 32, 32, 125, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 87, 114,
        105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117,
        108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 71, 101, 116, 68,
        101, 115, 105, 114, 101, 100, 83, 105, 122, 101, 40, 10, 32, 32, 32, 32, 32, 32,
        32, 32, 115, 116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 93, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111,
        110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68,
        101, 102, 97, 117, 108, 116, 87, 114, 105, 116, 101, 114, 82, 101, 108, 101, 97,
        115, 101, 40, 119, 114, 105, 116, 101, 114, 41, 32, 123, 10, 32, 32, 32, 32, 99,
        111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32, 119, 114, 105,
        116, 101, 114, 91, 95, 111, 119, 110, 101, 114, 87, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95,
        65, 83, 83, 69, 82, 84, 40, 115, 116, 114, 101, 97, 109, 32, 33, 61, 61, 32,
        117, 110, 100, 101, 102, 105, 110, 101, 100, 44, 10, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 115, 116, 114, 101, 97, 109, 32, 105,
        115, 32, 110, 111, 116, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 46, 39,
        41, 59, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115,
        116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 101, 114, 93, 32, 61, 61,
        61, 32, 119, 114, 105, 116, 101, 114, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 39, 115, 116, 114, 101, 97, 109, 46, 91, 91,
        119, 114, 105, 116, 101, 114, 93, 93, 32, 105, 115, 32, 119, 114, 105, 116, 101,
        114, 46, 39, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 114, 101,
        108, 101, 97, 115, 101, 100, 69, 114, 114, 111, 114, 32, 61, 32, 110, 101, 119,
        32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 101, 114, 114, 82, 101, 108,
        101, 97, 115, 101, 100, 87, 114, 105, 116, 101, 114, 67, 108, 111, 115, 101,
        100, 80, 114, 111, 109, 105, 115, 101, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110,
        115, 116, 32, 115, 116, 97, 116, 101, 32, 61, 32, 115, 116, 114, 101, 97, 109,
        91, 95, 115, 116, 97, 116, 101, 93, 59, 10, 32, 32, 32, 32, 105, 102, 32, 40,
        115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 87, 82, 73, 84, 65, 66, 76, 69, 32,
        124, 124, 32, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 67, 76, 79, 83, 73,
        78, 71, 32, 124, 124, 10, 32, 32, 32, 32, 32, 32, 32, 32, 115, 116, 114, 101,
        97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103, 65, 98, 111, 114, 116, 82,
        101, 113, 117, 101, 115, 116, 93, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102,
        105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 118, 56, 46, 114,
        101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115, 101, 40, 119, 114, 105,
        116, 101, 114, 91, 95, 99, 108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115,
        101, 93, 44, 32, 114, 101, 108, 101, 97, 115, 101, 100, 69, 114, 114, 111, 114,
        41, 59, 10, 32, 32, 32, 32, 125, 32, 101, 108, 115, 101, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 119, 114, 105, 116, 101, 114, 91, 95, 99, 108, 111, 115, 101,
        100, 80, 114, 111, 109, 105, 115, 101, 93, 32, 61, 32, 80, 114, 111, 109, 105,
        115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 114, 101, 108, 101, 97, 115, 101,
        100, 69, 114, 114, 111, 114, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 118, 56, 46, 109, 97, 114, 107, 80, 114, 111, 109, 105, 115, 101, 65, 115,
        72, 97, 110, 100, 108, 101, 100, 40, 119, 114, 105, 116, 101, 114, 91, 95, 99,
        108, 111, 115, 101, 100, 80, 114, 111, 109, 105, 115, 101, 93, 41, 59, 10, 32,
        32, 32, 32, 105, 102, 32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 87,
        82, 73, 84, 65, 66, 76, 69, 32, 38, 38, 10, 32, 32, 32, 32, 32, 32, 32, 32, 87,
        114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 71, 101, 116,
        66, 97, 99, 107, 112, 114, 101, 115, 115, 117, 114, 101, 40, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95, 119, 114,
        105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 67, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 93, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 118,
        56, 46, 114, 101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115, 101, 40, 119,
        114, 105, 116, 101, 114, 91, 95, 114, 101, 97, 100, 121, 80, 114, 111, 109, 105,
        115, 101, 93, 44, 32, 114, 101, 108, 101, 97, 115, 101, 100, 69, 114, 114, 111,
        114, 41, 59, 10, 32, 32, 32, 32, 125, 32, 101, 108, 115, 101, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 119, 114, 105, 116, 101, 114, 91, 95, 114, 101, 97, 100,
        121, 80, 114, 111, 109, 105, 115, 101, 93, 32, 61, 32, 80, 114, 111, 109, 105,
        115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 114, 101, 108, 101, 97, 115, 101,
        100, 69, 114, 114, 111, 114, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32,
        32, 118, 56, 46, 109, 97, 114, 107, 80, 114, 111, 109, 105, 115, 101, 65, 115,
        72, 97, 110, 100, 108, 101, 100, 40, 119, 114, 105, 116, 101, 114, 91, 95, 114,
        101, 97, 100, 121, 80, 114, 111, 109, 105, 115, 101, 93, 41, 59, 10, 32, 32, 32,
        32, 115, 116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 101, 114, 93, 32,
        61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32,
        119, 114, 105, 116, 101, 114, 91, 95, 111, 119, 110, 101, 114, 87, 114, 105,
        116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 32, 61, 32, 117, 110,
        100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117,
        110, 99, 116, 105, 111, 110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 87, 114, 105, 116, 101, 114,
        87, 114, 105, 116, 101, 40, 119, 114, 105, 116, 101, 114, 44, 32, 99, 104, 117,
        110, 107, 41, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116,
        114, 101, 97, 109, 32, 61, 32, 119, 114, 105, 116, 101, 114, 91, 95, 111, 119,
        110, 101, 114, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        93, 59, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115,
        116, 114, 101, 97, 109, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110,
        101, 100, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 39, 115, 116, 114, 101, 97, 109, 32, 105, 115, 32, 110, 111, 116, 32, 117,
        110, 100, 101, 102, 105, 110, 101, 100, 46, 39, 41, 59, 10, 32, 32, 32, 32, 99,
        111, 110, 115, 116, 32, 115, 116, 97, 116, 101, 32, 61, 32, 115, 116, 114, 101,
        97, 109, 91, 95, 115, 116, 97, 116, 101, 93, 59, 10, 32, 32, 32, 32, 105, 102,
        32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 67, 76, 79, 83, 69, 68, 32,
        124, 124, 32, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 69, 82, 82, 79, 82,
        69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110,
        32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 106, 101, 99, 116, 40, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 99, 114, 101, 97, 116, 101, 67, 97, 110,
        110, 111, 116, 65, 99, 116, 105, 111, 110, 79, 110, 83, 116, 97, 116, 101, 83,
        116, 114, 101, 97, 109, 69, 114, 114, 111, 114, 40, 39, 119, 114, 105, 116, 101,
        32, 116, 111, 39, 44, 32, 115, 116, 97, 116, 101, 41, 41, 59, 10, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40,
        115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 87, 82, 73, 84, 65, 66, 76, 69, 44,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 115,
        116, 97, 116, 101, 32, 105, 115, 32, 34, 119, 114, 105, 116, 97, 98, 108, 101,
        34, 46, 39, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 112, 114,
        111, 109, 105, 115, 101, 32, 61, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 65, 100, 100, 87, 114, 105, 116, 101, 82, 101, 113, 117,
        101, 115, 116, 40, 115, 116, 114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32, 87,
        114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 87, 114, 105,
        116, 101, 40, 115, 116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 93, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 99, 104, 117, 110, 107, 41, 59, 10, 32, 32, 32, 32,
        114, 101, 116, 117, 114, 110, 32, 112, 114, 111, 109, 105, 115, 101, 59, 10, 32,
        32, 125, 10, 32, 32, 99, 108, 97, 115, 115, 32, 87, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110,
        115, 116, 114, 117, 99, 116, 111, 114, 40, 115, 116, 114, 101, 97, 109, 44, 32,
        117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 105, 110, 107, 44, 32,
        115, 105, 122, 101, 44, 32, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97,
        114, 107, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 33, 73,
        115, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 40, 115,
        116, 114, 101, 97, 109, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114,
        111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114, 115, 46, 105,
        108, 108, 101, 103, 97, 108, 67, 111, 110, 115, 116, 114, 117, 99, 116, 111,
        114, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 105,
        102, 32, 40, 115, 116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 93, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100,
        41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32,
        110, 101, 119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114,
        101, 97, 109, 69, 114, 114, 111, 114, 115, 46, 105, 108, 108, 101, 103, 97, 108,
        67, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 41, 59, 10, 32, 32, 32, 32,
        32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 100, 87, 114, 105, 116, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 93, 32, 61, 32, 115, 116, 114, 101, 97, 109, 59, 10, 32,
        32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 117, 110, 100, 101, 114, 108,
        121, 105, 110, 103, 83, 105, 110, 107, 93, 32, 61, 32, 117, 110, 100, 101, 114,
        108, 121, 105, 110, 103, 83, 105, 110, 107, 59, 10, 32, 32, 32, 32, 32, 32, 116,
        104, 105, 115, 91, 95, 113, 117, 101, 117, 101, 93, 32, 61, 32, 110, 101, 119,
        32, 118, 56, 46, 73, 110, 116, 101, 114, 110, 97, 108, 80, 97, 99, 107, 101,
        100, 65, 114, 114, 97, 121, 40, 41, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104,
        105, 115, 91, 95, 113, 117, 101, 117, 101, 83, 105, 122, 101, 93, 32, 61, 32,
        48, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 100, 101, 102,
        97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 70, 108, 97,
        103, 115, 93, 32, 61, 32, 48, 59, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 110, 111, 114, 109, 97, 108, 105, 122, 101, 100, 83, 116, 114, 97, 116,
        101, 103, 121, 32, 61, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 86, 97, 108,
        105, 100, 97, 116, 101, 65, 110, 100, 78, 111, 114, 109, 97, 108, 105, 122, 101,
        81, 117, 101, 117, 105, 110, 103, 83, 116, 114, 97, 116, 101, 103, 121, 40, 115,
        105, 122, 101, 44, 32, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114,
        107, 41, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 115, 116,
        114, 97, 116, 101, 103, 121, 83, 105, 122, 101, 93, 32, 61, 32, 110, 111, 114,
        109, 97, 108, 105, 122, 101, 100, 83, 116, 114, 97, 116, 101, 103, 121, 46, 115,
        105, 122, 101, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 105, 115, 91, 95, 115,
        116, 114, 97, 116, 101, 103, 121, 72, 87, 77, 93, 32, 61, 32, 110, 111, 114,
        109, 97, 108, 105, 122, 101, 100, 83, 116, 114, 97, 116, 101, 103, 121, 46, 104,
        105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114, 107, 59, 10, 32, 32, 32, 32,
        32, 32, 99, 111, 110, 115, 116, 32, 98, 97, 99, 107, 112, 114, 101, 115, 115,
        117, 114, 101, 32, 61, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 71, 101, 116, 66, 97, 99, 107, 112, 114, 101, 115, 115, 117, 114,
        101, 40, 116, 104, 105, 115, 41, 59, 10, 32, 32, 32, 32, 32, 32, 105, 102, 32,
        40, 98, 97, 99, 107, 112, 114, 101, 115, 115, 117, 114, 101, 41, 32, 123, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 85, 112, 100, 97, 116, 101, 66, 97, 99, 107, 112, 114, 101,
        115, 115, 117, 114, 101, 40, 115, 116, 114, 101, 97, 109, 44, 32, 98, 97, 99,
        107, 112, 114, 101, 115, 115, 117, 114, 101, 41, 59, 10, 32, 32, 32, 32, 32, 32,
        125, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 99, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 32, 61, 32, 116, 104, 105, 115, 59, 10, 32, 32,
        32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 97, 114, 116, 82, 101,
        115, 117, 108, 116, 32, 61, 32, 73, 110, 118, 111, 107, 101, 79, 114, 78, 111,
        111, 112, 40, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 105, 110,
        107, 44, 32, 39, 115, 116, 97, 114, 116, 39, 44, 32, 91, 116, 104, 105, 115, 93,
        41, 59, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 111, 110, 70,
        117, 108, 102, 105, 108, 108, 101, 100, 32, 61, 32, 40, 41, 32, 61, 62, 32, 123,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 115, 101, 116, 68, 101, 102, 97, 117, 108,
        116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 83, 116, 97, 114, 116,
        101, 100, 70, 108, 97, 103, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        44, 32, 116, 114, 117, 101, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 87, 114,
        105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117,
        108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 65, 100, 118, 97,
        110, 99, 101, 81, 117, 101, 117, 101, 73, 102, 78, 101, 101, 100, 101, 100, 40,
        99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 59, 10, 32, 32, 32, 32, 32,
        32, 125, 59, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 111, 110,
        82, 101, 106, 101, 99, 116, 101, 100, 32, 61, 32, 114, 32, 61, 62, 32, 123, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 69, 114, 114, 111, 114, 73, 102, 78, 101, 101, 100, 101,
        100, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 114, 41, 59,
        10, 32, 32, 32, 32, 32, 32, 125, 59, 10, 32, 32, 32, 32, 32, 32, 116, 104, 101,
        110, 80, 114, 111, 109, 105, 115, 101, 40, 80, 114, 111, 109, 105, 115, 101, 95,
        114, 101, 115, 111, 108, 118, 101, 40, 115, 116, 97, 114, 116, 82, 101, 115,
        117, 108, 116, 41, 44, 32, 111, 110, 70, 117, 108, 102, 105, 108, 108, 101, 100,
        44, 32, 111, 110, 82, 101, 106, 101, 99, 116, 101, 100, 41, 59, 10, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 101, 114, 114, 111, 114, 40, 101, 41, 32, 123, 10,
        32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 33, 73, 115, 87, 114, 105, 116, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 40, 116, 104, 105, 115, 41, 41, 32,
        123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101,
        119, 32, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97,
        109, 69, 114, 114, 111, 114, 115, 46, 105, 108, 108, 101, 103, 97, 108, 73, 110,
        118, 111, 99, 97, 116, 105, 111, 110, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125,
        10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 97, 116, 101,
        32, 61, 32, 116, 104, 105, 115, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 100, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93,
        91, 95, 115, 116, 97, 116, 101, 93, 59, 10, 32, 32, 32, 32, 32, 32, 105, 102,
        32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 67, 76, 79, 83, 69, 68, 32,
        124, 124, 32, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 69, 82, 82, 79, 82,
        69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111,
        119, 32, 99, 114, 101, 97, 116, 101, 67, 97, 110, 110, 111, 116, 65, 99, 116,
        105, 111, 110, 79, 110, 83, 116, 97, 116, 101, 83, 116, 114, 101, 97, 109, 69,
        114, 114, 111, 114, 40, 39, 101, 114, 114, 111, 114, 39, 44, 32, 115, 116, 97,
        116, 101, 41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32,
        87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102,
        97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 69, 114,
        114, 111, 114, 40, 116, 104, 105, 115, 44, 32, 101, 41, 59, 10, 32, 32, 32, 32,
        125, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 73,
        115, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101,
        102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 40,
        120, 41, 32, 123, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 104, 97,
        115, 79, 119, 110, 80, 114, 111, 112, 101, 114, 116, 121, 40, 120, 44, 32, 95,
        117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 105, 110, 107, 41, 59, 10,
        32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 87, 114,
        105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117,
        108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 65, 98, 111, 114,
        116, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 114, 101, 97,
        115, 111, 110, 41, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 91, 95, 113, 117, 101, 117, 101, 93, 32, 61, 32, 118, 56,
        46, 73, 110, 116, 101, 114, 110, 97, 108, 80, 97, 99, 107, 101, 100, 65, 114,
        114, 97, 121, 40, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 91, 95, 113, 117, 101, 117, 101, 83, 105, 122, 101, 93, 32, 61,
        32, 48, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 105, 110, 107,
        65, 98, 111, 114, 116, 80, 114, 111, 109, 105, 115, 101, 32, 61, 10, 32, 32, 32,
        32, 32, 32, 32, 32, 80, 114, 111, 109, 105, 115, 101, 73, 110, 118, 111, 107,
        101, 79, 114, 78, 111, 111, 112, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 91, 95, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 105, 110,
        107, 93, 44, 32, 39, 97, 98, 111, 114, 116, 39, 44, 32, 91, 114, 101, 97, 115,
        111, 110, 93, 41, 59, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 116,
        104, 101, 110, 80, 114, 111, 109, 105, 115, 101, 40, 115, 105, 110, 107, 65, 98,
        111, 114, 116, 80, 114, 111, 109, 105, 115, 101, 44, 32, 40, 41, 32, 61, 62, 32,
        117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 59, 10, 32, 32, 125, 10, 32,
        32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 87, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 67, 108, 111, 115, 101, 40, 99, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 41, 32, 123, 10, 32, 32, 32, 32, 69, 110,
        113, 117, 101, 117, 101, 86, 97, 108, 117, 101, 87, 105, 116, 104, 83, 105, 122,
        101, 70, 111, 114, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 40, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 39, 99, 108, 111, 115, 101, 39,
        44, 32, 48, 41, 59, 10, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 65, 100, 118, 97, 110, 99, 101, 81, 117, 101, 117, 101,
        73, 102, 78, 101, 101, 100, 101, 100, 40, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111,
        110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68,
        101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        71, 101, 116, 68, 101, 115, 105, 114, 101, 100, 83, 105, 122, 101, 40, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 41, 32, 123, 10, 32, 32, 32, 32, 99,
        111, 110, 115, 116, 32, 113, 117, 101, 117, 101, 83, 105, 122, 101, 32, 61, 32,
        71, 101, 116, 84, 111, 116, 97, 108, 81, 117, 101, 117, 101, 83, 105, 122, 101,
        70, 111, 114, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 40, 99, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 41, 59, 10, 32, 32, 32, 32, 114, 101, 116,
        117, 114, 110, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 115,
        116, 114, 97, 116, 101, 103, 121, 72, 87, 77, 93, 32, 45, 32, 113, 117, 101,
        117, 101, 83, 105, 122, 101, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99,
        116, 105, 111, 110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 87, 114, 105, 116, 101, 40, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 44, 32, 99, 104, 117, 110, 107, 41, 32, 123, 10, 32, 32, 32, 32, 99,
        111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32, 99, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 91, 95, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 100, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        93, 59, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115,
        116, 114, 101, 97, 109, 91, 95, 115, 116, 97, 116, 101, 93, 32, 61, 61, 61, 32,
        87, 82, 73, 84, 65, 66, 76, 69, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 39, 115, 116, 114, 101, 97, 109, 46, 91, 91, 115, 116,
        97, 116, 101, 93, 93, 32, 105, 115, 32, 34, 119, 114, 105, 116, 97, 98, 108,
        101, 34, 46, 39, 41, 59, 10, 32, 32, 32, 32, 108, 101, 116, 32, 99, 104, 117,
        110, 107, 83, 105, 122, 101, 32, 61, 32, 49, 59, 10, 32, 32, 32, 32, 99, 111,
        110, 115, 116, 32, 115, 116, 114, 97, 116, 101, 103, 121, 83, 105, 122, 101, 32,
        61, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 115, 116, 114,
        97, 116, 101, 103, 121, 83, 105, 122, 101, 93, 59, 10, 32, 32, 32, 32, 105, 102,
        32, 40, 115, 116, 114, 97, 116, 101, 103, 121, 83, 105, 122, 101, 32, 33, 61,
        61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 116, 114, 121, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 99,
        104, 117, 110, 107, 83, 105, 122, 101, 32, 61, 32, 115, 116, 114, 97, 116, 101,
        103, 121, 83, 105, 122, 101, 40, 99, 104, 117, 110, 107, 41, 59, 10, 32, 32, 32,
        32, 32, 32, 125, 32, 99, 97, 116, 99, 104, 32, 40, 101, 41, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 69, 114, 114, 111, 114, 73, 102, 78, 101, 101, 100, 101, 100, 40, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 101, 41, 59, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 59, 10, 32, 32, 32, 32,
        32, 32, 125, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 119, 114, 105, 116, 101, 82, 101, 99, 111, 114, 100, 32, 61, 32, 123,
        99, 104, 117, 110, 107, 125, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32,
        108, 97, 115, 116, 66, 97, 99, 107, 112, 114, 101, 115, 115, 117, 114, 101, 32,
        61, 10, 32, 32, 32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 71, 101, 116, 66, 97, 99, 107, 112, 114, 101, 115, 115,
        117, 114, 101, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 59, 10,
        32, 32, 32, 32, 116, 114, 121, 32, 123, 10, 32, 32, 32, 32, 32, 32, 69, 110,
        113, 117, 101, 117, 101, 86, 97, 108, 117, 101, 87, 105, 116, 104, 83, 105, 122,
        101, 70, 111, 114, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 40, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 119, 114, 105, 116, 101, 82,
        101, 99, 111, 114, 100, 44, 32, 99, 104, 117, 110, 107, 83, 105, 122, 101, 41,
        59, 10, 32, 32, 32, 32, 125, 32, 99, 97, 116, 99, 104, 32, 40, 101, 41, 32, 123,
        10, 32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114,
        101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 69, 114, 114, 111, 114, 73, 102, 78, 101, 101, 100, 101, 100, 40,
        99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 101, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 59, 10, 32, 32, 32, 32, 125,
        10, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 114, 101, 97, 109, 91, 95, 115,
        116, 97, 116, 101, 93, 32, 61, 61, 61, 32, 87, 82, 73, 84, 65, 66, 76, 69, 41,
        32, 123, 10, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 98, 97, 99,
        107, 112, 114, 101, 115, 115, 117, 114, 101, 32, 61, 10, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 71, 101, 116, 66, 97, 99, 107, 112, 114, 101, 115, 115, 117, 114, 101, 40,
        99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 59, 10, 32, 32, 32, 32, 32,
        32, 105, 102, 32, 40, 108, 97, 115, 116, 66, 97, 99, 107, 112, 114, 101, 115,
        115, 117, 114, 101, 32, 33, 61, 61, 32, 98, 97, 99, 107, 112, 114, 101, 115,
        115, 117, 114, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 87, 114,
        105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 85, 112, 100, 97, 116,
        101, 66, 97, 99, 107, 112, 114, 101, 115, 115, 117, 114, 101, 40, 115, 116, 114,
        101, 97, 109, 44, 32, 98, 97, 99, 107, 112, 114, 101, 115, 115, 117, 114, 101,
        41, 59, 10, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 125, 10, 32, 32,
        32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68,
        101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        65, 100, 118, 97, 110, 99, 101, 81, 117, 101, 117, 101, 73, 102, 78, 101, 101,
        100, 101, 100, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 59, 10,
        32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 87, 114,
        105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117,
        108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 65, 100, 118, 97,
        110, 99, 101, 81, 117, 101, 117, 101, 73, 102, 78, 101, 101, 100, 101, 100, 40,
        99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 32, 123, 10, 32, 32, 32,
        32, 99, 111, 110, 115, 116, 32, 115, 116, 97, 116, 101, 32, 61, 32, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 99, 111, 110, 116, 114, 111,
        108, 108, 101, 100, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 93, 91, 95, 115, 116, 97, 116, 101, 93, 59, 10, 32, 32, 32, 32, 105, 102,
        32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 67, 76, 79, 83, 69, 68, 32,
        124, 124, 32, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 69, 82, 82, 79, 82,
        69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 105, 102, 32, 40, 33, 103, 101,
        116, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 83, 116, 97, 114, 116, 101, 100, 70, 108, 97, 103, 40, 99, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
        114, 101, 116, 117, 114, 110, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32,
        105, 102, 32, 40, 103, 101, 116, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 87, 114, 105, 116, 105, 110, 103, 70, 108,
        97, 103, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 41, 32, 123,
        10, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 59, 10, 32, 32, 32,
        32, 125, 10, 32, 32, 32, 32, 105, 102, 32, 40, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 91, 95, 113, 117, 101, 117, 101, 93, 46, 108, 101, 110, 103, 116,
        104, 32, 61, 61, 61, 32, 48, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101,
        116, 117, 114, 110, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 99, 111,
        110, 115, 116, 32, 119, 114, 105, 116, 101, 82, 101, 99, 111, 114, 100, 32, 61,
        32, 80, 101, 101, 107, 81, 117, 101, 117, 101, 86, 97, 108, 117, 101, 40, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 113, 117, 101, 117, 101,
        93, 41, 59, 10, 32, 32, 32, 32, 105, 102, 32, 40, 119, 114, 105, 116, 101, 82,
        101, 99, 111, 114, 100, 32, 61, 61, 61, 32, 39, 99, 108, 111, 115, 101, 39, 41,
        32, 123, 10, 32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 80, 114, 111, 99, 101, 115, 115, 67, 108, 111, 115,
        101, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 59, 10, 32, 32,
        32, 32, 125, 32, 101, 108, 115, 101, 32, 123, 10, 32, 32, 32, 32, 32, 32, 87,
        114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 80, 114, 111,
        99, 101, 115, 115, 87, 114, 105, 116, 101, 40, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 119, 114, 105,
        116, 101, 82, 101, 99, 111, 114, 100, 46, 99, 104, 117, 110, 107, 41, 59, 10,
        32, 32, 32, 32, 125, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105,
        111, 110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 69, 114, 114, 111, 114, 73, 102, 78, 101, 101, 100, 101, 100, 40, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 101, 41, 32, 123, 10, 32, 32,
        32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 97, 116, 101, 32, 61, 32, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 99, 111, 110, 116, 114, 111,
        108, 108, 101, 100, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 93, 91, 95, 115, 116, 97, 116, 101, 93, 59, 10, 32, 32, 32, 32, 105, 102,
        32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 87, 82, 73, 84, 65, 66, 76,
        69, 32, 124, 124, 32, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 67, 76, 79,
        83, 73, 78, 71, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97,
        98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 69, 114, 114, 111, 114, 40, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 101, 41, 59, 10, 32, 32,
        32, 32, 125, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110,
        32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101,
        102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 80,
        114, 111, 99, 101, 115, 115, 67, 108, 111, 115, 101, 40, 99, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 41, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 115, 116, 114, 101, 97, 109, 32, 61, 32, 99, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108, 101, 100, 87,
        114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32, 32,
        32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115, 116, 114, 101, 97,
        109, 91, 95, 115, 116, 97, 116, 101, 93, 32, 61, 61, 61, 32, 67, 76, 79, 83, 73,
        78, 71, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        39, 115, 116, 114, 101, 97, 109, 46, 91, 91, 115, 116, 97, 116, 101, 93, 93, 32,
        105, 115, 32, 34, 99, 108, 111, 115, 105, 110, 103, 34, 46, 39, 41, 59, 10, 32,
        32, 32, 32, 68, 101, 113, 117, 101, 117, 101, 86, 97, 108, 117, 101, 70, 111,
        114, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 40, 99, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 41, 59, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95,
        65, 83, 83, 69, 82, 84, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91,
        95, 113, 117, 101, 117, 101, 93, 46, 108, 101, 110, 103, 116, 104, 32, 61, 61,
        61, 32, 48, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 39, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 46, 91, 91, 113, 117,
        101, 117, 101, 93, 93, 32, 105, 115, 32, 101, 109, 112, 116, 121, 46, 39, 41,
        59, 10, 32, 32, 32, 32, 115, 101, 116, 68, 101, 102, 97, 117, 108, 116, 67, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 73, 110, 67, 108, 111, 115, 101, 70,
        108, 97, 103, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 116,
        114, 117, 101, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 105,
        110, 107, 67, 108, 111, 115, 101, 80, 114, 111, 109, 105, 115, 101, 32, 61, 32,
        80, 114, 111, 109, 105, 115, 101, 73, 110, 118, 111, 107, 101, 79, 114, 78, 111,
        111, 112, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 117, 110,
        100, 101, 114, 108, 121, 105, 110, 103, 83, 105, 110, 107, 93, 44, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 39, 99, 108, 111, 115, 101, 39, 44, 32, 91, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 93, 41, 59, 10, 32, 32, 32, 32, 116,
        104, 101, 110, 80, 114, 111, 109, 105, 115, 101, 40, 115, 105, 110, 107, 67,
        108, 111, 115, 101, 80, 114, 111, 109, 105, 115, 101, 44, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 40, 41, 32, 61, 62, 32, 123, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 84, 69,
        77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 103, 101, 116, 68, 101, 102, 97, 117,
        108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 73, 110, 67, 108,
        111, 115, 101, 70, 108, 97, 103, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 41, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 61, 61, 61, 32, 116, 114, 117, 101, 44, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 46, 91, 91, 105, 110, 67, 108, 111,
        115, 101, 93, 93, 32, 105, 115, 32, 116, 114, 117, 101, 39, 41, 59, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 115, 101, 116,
        68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 73, 110, 67, 108, 111, 115, 101, 70, 108, 97, 103, 40, 99, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 44, 32, 102, 97, 108, 115, 101, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102,
        32, 40, 115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 97, 116, 101, 93, 32, 33,
        61, 61, 32, 67, 76, 79, 83, 73, 78, 71, 32, 38, 38, 10, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 115, 116, 114,
        101, 97, 109, 91, 95, 115, 116, 97, 116, 101, 93, 32, 33, 61, 61, 32, 69, 82,
        82, 79, 82, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 59, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 84, 69, 77,
        80, 95, 65, 83, 83, 69, 82, 84, 40, 115, 116, 114, 101, 97, 109, 91, 95, 112,
        101, 110, 100, 105, 110, 103, 67, 108, 111, 115, 101, 82, 101, 113, 117, 101,
        115, 116, 93, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100,
        41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 118, 56, 46, 114, 101, 115, 111, 108, 118, 101, 80, 114, 111, 109, 105, 115,
        101, 40, 115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103,
        67, 108, 111, 115, 101, 82, 101, 113, 117, 101, 115, 116, 93, 44, 32, 117, 110,
        100, 101, 102, 105, 110, 101, 100, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95,
        112, 101, 110, 100, 105, 110, 103, 67, 108, 111, 115, 101, 82, 101, 113, 117,
        101, 115, 116, 93, 32, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 87,
        114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 70, 105, 110, 105,
        115, 104, 67, 108, 111, 115, 101, 40, 115, 116, 114, 101, 97, 109, 41, 59, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 114, 32, 61, 62, 32,
        123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 103, 101, 116, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 73, 110, 67,
        108, 111, 115, 101, 70, 108, 97, 103, 40, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 41, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 61, 61, 61, 32, 116, 114, 117, 101, 44, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        39, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 46, 91, 91, 105, 110, 67,
        108, 111, 115, 101, 93, 93, 32, 105, 115, 32, 116, 114, 117, 101, 39, 41, 59,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 115,
        101, 116, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 73, 110, 67, 108, 111, 115, 101, 70, 108, 97, 103, 40, 99, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 102, 97, 108, 115, 101, 41, 59,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 84,
        69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115, 116, 114, 101, 97, 109, 91, 95,
        112, 101, 110, 100, 105, 110, 103, 67, 108, 111, 115, 101, 82, 101, 113, 117,
        101, 115, 116, 93, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101,
        100, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 118, 56, 46, 114, 101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115,
        101, 40, 115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103,
        67, 108, 111, 115, 101, 82, 101, 113, 117, 101, 115, 116, 93, 44, 32, 114, 41,
        59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103, 67, 108,
        111, 115, 101, 82, 101, 113, 117, 101, 115, 116, 93, 32, 61, 32, 117, 110, 100,
        101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 114, 101, 97, 109,
        91, 95, 112, 101, 110, 100, 105, 110, 103, 65, 98, 111, 114, 116, 82, 101, 113,
        117, 101, 115, 116, 93, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110,
        101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 118, 56, 46, 114, 101, 106, 101, 99, 116, 80, 114,
        111, 109, 105, 115, 101, 40, 115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110,
        100, 105, 110, 103, 65, 98, 111, 114, 116, 82, 101, 113, 117, 101, 115, 116, 93,
        44, 32, 114, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110, 100,
        105, 110, 103, 65, 98, 111, 114, 116, 82, 101, 113, 117, 101, 115, 116, 93, 32,
        61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98,
        108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111,
        110, 116, 114, 111, 108, 108, 101, 114, 69, 114, 114, 111, 114, 73, 102, 78,
        101, 101, 100, 101, 100, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        44, 32, 114, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 41,
        59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 87,
        114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 80, 114, 111,
        99, 101, 115, 115, 87, 114, 105, 116, 101, 40, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 44, 32, 99, 104, 117, 110, 107, 41, 32, 123, 10, 32, 32, 32, 32,
        115, 101, 116, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 87, 114, 105, 116, 105, 110, 103, 70, 108, 97, 103, 40, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 116, 114, 117, 101, 41, 59,
        10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 101, 97, 109, 32,
        61, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 99, 111, 110,
        116, 114, 111, 108, 108, 101, 100, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 93, 59, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83,
        69, 82, 84, 40, 115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110, 100, 105,
        110, 103, 87, 114, 105, 116, 101, 82, 101, 113, 117, 101, 115, 116, 93, 32, 61,
        61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 44, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 115, 116, 114, 101, 97, 109,
        46, 91, 91, 112, 101, 110, 100, 105, 110, 103, 87, 114, 105, 116, 101, 82, 101,
        113, 117, 101, 115, 116, 93, 93, 32, 105, 115, 32, 117, 110, 100, 101, 102, 105,
        110, 101, 100, 39, 41, 59, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83,
        69, 82, 84, 40, 115, 116, 114, 101, 97, 109, 91, 95, 119, 114, 105, 116, 101,
        82, 101, 113, 117, 101, 115, 116, 115, 93, 46, 108, 101, 110, 103, 116, 104, 32,
        62, 32, 48, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 39, 115, 116, 114, 101, 97, 109, 46, 91, 91, 119, 114, 105, 116, 101, 82,
        101, 113, 117, 101, 115, 116, 115, 93, 93, 32, 105, 115, 32, 110, 111, 116, 32,
        101, 109, 112, 116, 121, 39, 41, 59, 10, 32, 32, 32, 32, 115, 116, 114, 101, 97,
        109, 91, 95, 112, 101, 110, 100, 105, 110, 103, 87, 114, 105, 116, 101, 82, 101,
        113, 117, 101, 115, 116, 93, 32, 61, 32, 115, 116, 114, 101, 97, 109, 91, 95,
        119, 114, 105, 116, 101, 82, 101, 113, 117, 101, 115, 116, 115, 93, 46, 115,
        104, 105, 102, 116, 40, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32,
        115, 105, 110, 107, 87, 114, 105, 116, 101, 80, 114, 111, 109, 105, 115, 101,
        32, 61, 32, 80, 114, 111, 109, 105, 115, 101, 73, 110, 118, 111, 107, 101, 79,
        114, 78, 111, 111, 112, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91,
        95, 117, 110, 100, 101, 114, 108, 121, 105, 110, 103, 83, 105, 110, 107, 93, 44,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 39, 119, 114, 105, 116, 101, 39, 44, 32, 91, 99,
        104, 117, 110, 107, 44, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 93,
        41, 59, 10, 32, 32, 32, 32, 116, 104, 101, 110, 80, 114, 111, 109, 105, 115,
        101, 40, 10, 32, 32, 32, 32, 32, 32, 32, 32, 115, 105, 110, 107, 87, 114, 105,
        116, 101, 80, 114, 111, 109, 105, 115, 101, 44, 10, 32, 32, 32, 32, 32, 32, 32,
        32, 40, 41, 32, 61, 62, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 84,
        69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 103, 101, 116, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 87, 114, 105,
        116, 105, 110, 103, 70, 108, 97, 103, 40, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 41, 32, 61, 61, 61, 32, 116, 114, 117, 101, 44, 10, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 46, 91, 91, 119, 114, 105, 116,
        105, 110, 103, 93, 93, 32, 105, 115, 32, 116, 114, 117, 101, 39, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 115, 101, 116, 68, 101, 102, 97, 117, 108,
        116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 87, 114, 105, 116, 105,
        110, 103, 70, 108, 97, 103, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        44, 32, 102, 97, 108, 115, 101, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115, 116, 114, 101, 97, 109,
        91, 95, 112, 101, 110, 100, 105, 110, 103, 87, 114, 105, 116, 101, 82, 101, 113,
        117, 101, 115, 116, 93, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110,
        101, 100, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 39, 115, 116, 114, 101, 97, 109, 46, 91, 91, 112,
        101, 110, 100, 105, 110, 103, 87, 114, 105, 116, 101, 82, 101, 113, 117, 101,
        115, 116, 93, 93, 32, 105, 115, 32, 110, 111, 116, 32, 117, 110, 100, 101, 102,
        105, 110, 101, 100, 39, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 118,
        56, 46, 114, 101, 115, 111, 108, 118, 101, 80, 114, 111, 109, 105, 115, 101, 40,
        115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103, 87, 114,
        105, 116, 101, 82, 101, 113, 117, 101, 115, 116, 93, 44, 32, 117, 110, 100, 101,
        102, 105, 110, 101, 100, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103, 87, 114,
        105, 116, 101, 82, 101, 113, 117, 101, 115, 116, 93, 32, 61, 32, 117, 110, 100,
        101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        99, 111, 110, 115, 116, 32, 115, 116, 97, 116, 101, 32, 61, 32, 115, 116, 114,
        101, 97, 109, 91, 95, 115, 116, 97, 116, 101, 93, 59, 10, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61,
        32, 69, 82, 82, 79, 82, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109,
        82, 101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115, 101, 115, 73, 110, 82,
        101, 97, 99, 116, 105, 111, 110, 84, 111, 69, 114, 114, 111, 114, 40, 115, 116,
        114, 101, 97, 109, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        105, 102, 32, 40, 115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110, 100, 105,
        110, 103, 65, 98, 111, 114, 116, 82, 101, 113, 117, 101, 115, 116, 93, 32, 33,
        61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 32, 123, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 118, 56, 46, 114, 101, 115,
        111, 108, 118, 101, 80, 114, 111, 109, 105, 115, 101, 40, 115, 116, 114, 101,
        97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103, 65, 98, 111, 114, 116, 82,
        101, 113, 117, 101, 115, 116, 93, 44, 32, 117, 110, 100, 101, 102, 105, 110,
        101, 100, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103, 65, 98,
        111, 114, 116, 82, 101, 113, 117, 101, 115, 116, 93, 32, 61, 32, 117, 110, 100,
        101, 102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 114, 101, 116,
        117, 114, 110, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 108, 97, 115, 116,
        66, 97, 99, 107, 112, 114, 101, 115, 115, 117, 114, 101, 32, 61, 10, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101,
        83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 71, 101, 116, 66, 97, 99, 107, 112, 114, 101, 115,
        115, 117, 114, 101, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 59,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 68, 101, 113, 117, 101, 117, 101,
        86, 97, 108, 117, 101, 70, 111, 114, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 59, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 97, 116, 101, 32,
        33, 61, 61, 32, 67, 76, 79, 83, 73, 78, 71, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 98, 97, 99, 107, 112,
        114, 101, 115, 115, 117, 114, 101, 32, 61, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116,
        114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111,
        108, 108, 101, 114, 71, 101, 116, 66, 97, 99, 107, 112, 114, 101, 115, 115, 117,
        114, 101, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 59, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 108, 97, 115, 116,
        66, 97, 99, 107, 112, 114, 101, 115, 115, 117, 114, 101, 32, 33, 61, 61, 32, 98,
        97, 99, 107, 112, 114, 101, 115, 115, 117, 114, 101, 41, 32, 123, 10, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 85, 112, 100, 97, 116, 101, 66, 97, 99, 107,
        112, 114, 101, 115, 115, 117, 114, 101, 40, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 91, 95, 99, 111, 110, 116, 114, 111, 108, 108, 101, 100, 87, 114, 105,
        116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 93, 44, 32, 98, 97, 99, 107,
        112, 114, 101, 115, 115, 117, 114, 101, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 65, 100, 118, 97, 110, 99, 101, 81, 117, 101, 117, 101,
        73, 102, 78, 101, 101, 100, 101, 100, 40, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 125, 44, 10, 32, 32, 32,
        32, 32, 32, 32, 32, 114, 32, 61, 62, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 103, 101, 116, 68,
        101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        87, 114, 105, 116, 105, 110, 103, 70, 108, 97, 103, 40, 99, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 41, 32, 61, 61, 61, 32, 116, 114, 117, 101, 44, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 39, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 46, 91, 91, 119, 114,
        105, 116, 105, 110, 103, 93, 93, 32, 105, 115, 32, 116, 114, 117, 101, 39, 41,
        59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 115, 101, 116, 68, 101, 102, 97,
        117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 87, 114, 105,
        116, 105, 110, 103, 70, 108, 97, 103, 40, 99, 111, 110, 116, 114, 111, 108, 108,
        101, 114, 44, 32, 102, 97, 108, 115, 101, 41, 59, 10, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82, 84, 40, 115, 116, 114,
        101, 97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103, 87, 114, 105, 116, 101,
        82, 101, 113, 117, 101, 115, 116, 93, 32, 33, 61, 61, 32, 117, 110, 100, 101,
        102, 105, 110, 101, 100, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 115, 116, 114, 101, 97, 109, 46, 91,
        91, 112, 101, 110, 100, 105, 110, 103, 87, 114, 105, 116, 101, 82, 101, 113,
        117, 101, 115, 116, 93, 93, 32, 105, 115, 32, 110, 111, 116, 32, 117, 110, 100,
        101, 102, 105, 110, 101, 100, 39, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 118, 56, 46, 114, 101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115,
        101, 40, 115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103,
        87, 114, 105, 116, 101, 82, 101, 113, 117, 101, 115, 116, 93, 44, 32, 114, 41,
        59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91,
        95, 112, 101, 110, 100, 105, 110, 103, 87, 114, 105, 116, 101, 82, 101, 113,
        117, 101, 115, 116, 93, 32, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100,
        59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 114,
        101, 97, 109, 91, 95, 115, 116, 97, 116, 101, 93, 32, 61, 61, 61, 32, 69, 82,
        82, 79, 82, 69, 68, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 115, 116, 114, 101, 97, 109, 91, 95, 115, 116, 111, 114, 101, 100, 69, 114,
        114, 111, 114, 93, 32, 61, 32, 114, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 82,
        101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115, 101, 115, 73, 110, 82, 101,
        97, 99, 116, 105, 111, 110, 84, 111, 69, 114, 114, 111, 114, 40, 115, 116, 114,
        101, 97, 109, 41, 59, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 105, 102, 32, 40, 115, 116, 114, 101, 97,
        109, 91, 95, 112, 101, 110, 100, 105, 110, 103, 65, 98, 111, 114, 116, 82, 101,
        113, 117, 101, 115, 116, 93, 32, 33, 61, 61, 32, 117, 110, 100, 101, 102, 105,
        110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        118, 56, 46, 114, 101, 106, 101, 99, 116, 80, 114, 111, 109, 105, 115, 101, 40,
        115, 116, 114, 101, 97, 109, 91, 95, 112, 101, 110, 100, 105, 110, 103, 65, 98,
        111, 114, 116, 82, 101, 113, 117, 101, 115, 116, 93, 44, 32, 114, 41, 59, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 115, 116, 114, 101, 97, 109, 91,
        95, 112, 101, 110, 100, 105, 110, 103, 65, 98, 111, 114, 116, 82, 101, 113, 117,
        101, 115, 116, 93, 32, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 59,
        10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68,
        101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114,
        69, 114, 114, 111, 114, 73, 102, 78, 101, 101, 100, 101, 100, 40, 99, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 44, 32, 114, 41, 59, 10, 32, 32, 32, 32, 32,
        32, 32, 32, 125, 10, 32, 32, 32, 32, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102,
        117, 110, 99, 116, 105, 111, 110, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83,
        116, 114, 101, 97, 109, 68, 101, 102, 97, 117, 108, 116, 67, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 71, 101, 116, 66, 97, 99, 107, 112, 114, 101, 115, 115,
        117, 114, 101, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 32, 123,
        10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 100, 101, 115, 105, 114, 101,
        100, 83, 105, 122, 101, 32, 61, 10, 32, 32, 32, 32, 32, 32, 32, 32, 87, 114,
        105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102, 97, 117,
        108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 71, 101, 116, 68,
        101, 115, 105, 114, 101, 100, 83, 105, 122, 101, 40, 99, 111, 110, 116, 114,
        111, 108, 108, 101, 114, 41, 59, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114,
        110, 32, 100, 101, 115, 105, 114, 101, 100, 83, 105, 122, 101, 32, 60, 61, 32,
        48, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32,
        87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 68, 101, 102,
        97, 117, 108, 116, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 69, 114,
        114, 111, 114, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 44, 32, 101,
        41, 32, 123, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 115, 116, 114, 101,
        97, 109, 32, 61, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95,
        99, 111, 110, 116, 114, 111, 108, 108, 101, 100, 87, 114, 105, 116, 97, 98, 108,
        101, 83, 116, 114, 101, 97, 109, 93, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115,
        116, 32, 115, 116, 97, 116, 101, 32, 61, 32, 115, 116, 114, 101, 97, 109, 91,
        95, 115, 116, 97, 116, 101, 93, 59, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65,
        83, 83, 69, 82, 84, 40, 115, 116, 97, 116, 101, 32, 61, 61, 61, 32, 87, 82, 73,
        84, 65, 66, 76, 69, 32, 124, 124, 32, 115, 116, 97, 116, 101, 32, 61, 61, 61,
        32, 67, 76, 79, 83, 73, 78, 71, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 32, 32, 32, 32, 32, 39, 115, 116, 114, 101, 97, 109, 46, 91, 91, 115, 116,
        97, 116, 101, 93, 93, 32, 105, 115, 32, 34, 119, 114, 105, 116, 97, 98, 108,
        101, 34, 32, 111, 114, 32, 34, 99, 108, 111, 115, 105, 110, 103, 34, 46, 39, 41,
        59, 10, 32, 32, 32, 32, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101,
        97, 109, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 44, 32, 101,
        41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91,
        95, 113, 117, 101, 117, 101, 93, 32, 61, 32, 110, 101, 119, 32, 118, 56, 46, 73,
        110, 116, 101, 114, 110, 97, 108, 80, 97, 99, 107, 101, 100, 65, 114, 114, 97,
        121, 40, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 91, 95, 113, 117, 101, 117, 101, 83, 105, 122, 101, 93, 32, 61, 32, 48, 59,
        10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 68, 101,
        113, 117, 101, 117, 101, 86, 97, 108, 117, 101, 70, 111, 114, 67, 111, 110, 116,
        114, 111, 108, 108, 101, 114, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 41, 32, 123, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82,
        84, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 113, 117, 101,
        117, 101, 93, 46, 108, 101, 110, 103, 116, 104, 32, 33, 61, 61, 32, 48, 44, 10,
        32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 39, 113, 117,
        101, 117, 101, 32, 105, 115, 32, 110, 111, 116, 32, 101, 109, 112, 116, 121, 46,
        39, 41, 59, 10, 32, 32, 32, 32, 99, 111, 110, 115, 116, 32, 114, 101, 115, 117,
        108, 116, 32, 61, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95,
        113, 117, 101, 117, 101, 93, 46, 115, 104, 105, 102, 116, 40, 41, 59, 10, 32,
        32, 32, 32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 113, 117,
        101, 117, 101, 83, 105, 122, 101, 93, 32, 45, 61, 32, 114, 101, 115, 117, 108,
        116, 46, 115, 105, 122, 101, 59, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114,
        110, 32, 114, 101, 115, 117, 108, 116, 46, 118, 97, 108, 117, 101, 59, 10, 32,
        32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 69, 110, 113,
        117, 101, 117, 101, 86, 97, 108, 117, 101, 87, 105, 116, 104, 83, 105, 122, 101,
        70, 111, 114, 67, 111, 110, 116, 114, 111, 108, 108, 101, 114, 40, 99, 111, 110,
        116, 114, 111, 108, 108, 101, 114, 44, 32, 118, 97, 108, 117, 101, 44, 32, 115,
        105, 122, 101, 41, 32, 123, 10, 32, 32, 32, 32, 115, 105, 122, 101, 32, 61, 32,
        78, 117, 109, 98, 101, 114, 40, 115, 105, 122, 101, 41, 59, 10, 32, 32, 32, 32,
        105, 102, 32, 40, 33, 73, 115, 70, 105, 110, 105, 116, 101, 78, 111, 110, 78,
        101, 103, 97, 116, 105, 118, 101, 78, 117, 109, 98, 101, 114, 40, 115, 105, 122,
        101, 41, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32,
        110, 101, 119, 32, 82, 97, 110, 103, 101, 69, 114, 114, 111, 114, 40, 115, 116,
        114, 101, 97, 109, 69, 114, 114, 111, 114, 115, 46, 105, 110, 118, 97, 108, 105,
        100, 83, 105, 122, 101, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 99,
        111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 113, 117, 101, 117, 101,
        83, 105, 122, 101, 93, 32, 43, 61, 32, 115, 105, 122, 101, 59, 10, 32, 32, 32,
        32, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 91, 95, 113, 117, 101, 117,
        101, 93, 46, 112, 117, 115, 104, 40, 123, 118, 97, 108, 117, 101, 44, 32, 115,
        105, 122, 101, 125, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116,
        105, 111, 110, 32, 71, 101, 116, 84, 111, 116, 97, 108, 81, 117, 101, 117, 101,
        83, 105, 122, 101, 70, 111, 114, 67, 111, 110, 116, 114, 111, 108, 108, 101,
        114, 40, 99, 111, 110, 116, 114, 111, 108, 108, 101, 114, 41, 32, 123, 10, 32,
        32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 99, 111, 110, 116, 114, 111, 108,
        108, 101, 114, 91, 95, 113, 117, 101, 117, 101, 83, 105, 122, 101, 93, 59, 10,
        32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 80, 101,
        101, 107, 81, 117, 101, 117, 101, 86, 97, 108, 117, 101, 40, 113, 117, 101, 117,
        101, 41, 32, 123, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69, 82,
        84, 40, 113, 117, 101, 117, 101, 46, 108, 101, 110, 103, 116, 104, 32, 33, 61,
        61, 32, 48, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        32, 39, 113, 117, 101, 117, 101, 32, 105, 115, 32, 110, 111, 116, 32, 101, 109,
        112, 116, 121, 46, 39, 41, 59, 10, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110,
        32, 113, 117, 101, 117, 101, 91, 48, 93, 46, 118, 97, 108, 117, 101, 59, 10, 32,
        32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 73, 110, 118,
        111, 107, 101, 79, 114, 78, 111, 111, 112, 40, 79, 44, 32, 80, 44, 32, 97, 114,
        103, 115, 41, 32, 123, 10, 32, 32, 32, 32, 84, 69, 77, 80, 95, 65, 83, 83, 69,
        82, 84, 40, 73, 115, 80, 114, 111, 112, 101, 114, 116, 121, 75, 101, 121, 40,
        80, 41, 44, 10, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
        39, 80, 32, 105, 115, 32, 97, 32, 118, 97, 108, 105, 100, 32, 112, 114, 111,
        112, 101, 114, 116, 121, 32, 107, 101, 121, 46, 39, 41, 59, 10, 32, 32, 32, 32,
        105, 102, 32, 40, 97, 114, 103, 115, 32, 61, 61, 61, 32, 117, 110, 100, 101,
        102, 105, 110, 101, 100, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 97, 114, 103,
        115, 32, 61, 32, 91, 93, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 99,
        111, 110, 115, 116, 32, 109, 101, 116, 104, 111, 100, 32, 61, 32, 79, 91, 80,
        93, 59, 10, 32, 32, 32, 32, 105, 102, 32, 40, 109, 101, 116, 104, 111, 100, 32,
        61, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 41, 32, 123, 10,
        32, 32, 32, 32, 32, 32, 114, 101, 116, 117, 114, 110, 32, 117, 110, 100, 101,
        102, 105, 110, 101, 100, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 105,
        102, 32, 40, 116, 121, 112, 101, 111, 102, 32, 109, 101, 116, 104, 111, 100, 32,
        33, 61, 61, 32, 39, 102, 117, 110, 99, 116, 105, 111, 110, 39, 41, 32, 123, 10,
        32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121,
        112, 101, 69, 114, 114, 111, 114, 40, 116, 101, 109, 112, 108, 97, 116, 101, 69,
        114, 114, 111, 114, 73, 115, 78, 111, 116, 65, 70, 117, 110, 99, 116, 105, 111,
        110, 40, 80, 41, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 114, 101,
        116, 117, 114, 110, 32, 70, 117, 110, 99, 116, 105, 111, 110, 95, 97, 112, 112,
        108, 121, 40, 109, 101, 116, 104, 111, 100, 44, 32, 79, 44, 32, 97, 114, 103,
        115, 41, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110,
        32, 73, 115, 70, 105, 110, 105, 116, 101, 78, 111, 110, 78, 101, 103, 97, 116,
        105, 118, 101, 78, 117, 109, 98, 101, 114, 40, 118, 41, 32, 123, 10, 32, 32, 32,
        32, 114, 101, 116, 117, 114, 110, 32, 78, 117, 109, 98, 101, 114, 95, 105, 115,
        70, 105, 110, 105, 116, 101, 40, 118, 41, 32, 38, 38, 32, 118, 32, 62, 61, 32,
        48, 59, 10, 32, 32, 125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32,
        80, 114, 111, 109, 105, 115, 101, 73, 110, 118, 111, 107, 101, 79, 114, 78, 111,
        111, 112, 40, 79, 44, 32, 80, 44, 32, 97, 114, 103, 115, 41, 32, 123, 10, 32,
        32, 32, 32, 116, 114, 121, 32, 123, 10, 32, 32, 32, 32, 32, 32, 114, 101, 116,
        117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114, 101, 115, 111,
        108, 118, 101, 40, 73, 110, 118, 111, 107, 101, 79, 114, 78, 111, 111, 112, 40,
        79, 44, 32, 80, 44, 32, 97, 114, 103, 115, 41, 41, 59, 10, 32, 32, 32, 32, 125,
        32, 99, 97, 116, 99, 104, 32, 40, 101, 41, 32, 123, 10, 32, 32, 32, 32, 32, 32,
        114, 101, 116, 117, 114, 110, 32, 80, 114, 111, 109, 105, 115, 101, 95, 114,
        101, 106, 101, 99, 116, 40, 101, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32,
        125, 10, 32, 32, 102, 117, 110, 99, 116, 105, 111, 110, 32, 86, 97, 108, 105,
        100, 97, 116, 101, 65, 110, 100, 78, 111, 114, 109, 97, 108, 105, 122, 101, 81,
        117, 101, 117, 105, 110, 103, 83, 116, 114, 97, 116, 101, 103, 121, 40, 115,
        105, 122, 101, 44, 32, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114,
        107, 41, 32, 123, 10, 32, 32, 32, 32, 105, 102, 32, 40, 115, 105, 122, 101, 32,
        33, 61, 61, 32, 117, 110, 100, 101, 102, 105, 110, 101, 100, 32, 38, 38, 32,
        116, 121, 112, 101, 111, 102, 32, 115, 105, 122, 101, 32, 33, 61, 61, 32, 39,
        102, 117, 110, 99, 116, 105, 111, 110, 39, 41, 32, 123, 10, 32, 32, 32, 32, 32,
        32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32, 84, 121, 112, 101, 69, 114,
        114, 111, 114, 40, 115, 116, 114, 101, 97, 109, 69, 114, 114, 111, 114, 115, 46,
        115, 105, 122, 101, 78, 111, 116, 65, 70, 117, 110, 99, 116, 105, 111, 110, 41,
        59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 104, 105, 103, 104, 87, 97,
        116, 101, 114, 77, 97, 114, 107, 32, 61, 32, 78, 117, 109, 98, 101, 114, 40,
        104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114, 107, 41, 59, 10, 32, 32,
        32, 32, 105, 102, 32, 40, 78, 117, 109, 98, 101, 114, 95, 105, 115, 78, 97, 78,
        40, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114, 107, 41, 41, 32,
        123, 10, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101, 119, 32,
        82, 97, 110, 103, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101, 97, 109,
        69, 114, 114, 111, 114, 115, 46, 101, 114, 114, 73, 110, 118, 97, 108, 105, 100,
        72, 87, 77, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 105, 102, 32,
        40, 104, 105, 103, 104, 87, 97, 116, 101, 114, 77, 97, 114, 107, 32, 60, 32, 48,
        41, 32, 123, 10, 32, 32, 32, 32, 32, 32, 116, 104, 114, 111, 119, 32, 110, 101,
        119, 32, 82, 97, 110, 103, 101, 69, 114, 114, 111, 114, 40, 115, 116, 114, 101,
        97, 109, 69, 114, 114, 111, 114, 115, 46, 105, 110, 118, 97, 108, 105, 100, 72,
        87, 77, 41, 59, 10, 32, 32, 32, 32, 125, 10, 32, 32, 32, 32, 114, 101, 116, 117,
        114, 110, 32, 123, 115, 105, 122, 101, 44, 32, 104, 105, 103, 104, 87, 97, 116,
        101, 114, 77, 97, 114, 107, 125, 59, 10, 32, 32, 125, 10, 32, 32, 100, 101, 102,
        105, 110, 101, 80, 114, 111, 112, 101, 114, 116, 121, 40, 103, 108, 111, 98, 97,
        108, 44, 32, 39, 87, 114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97,
        109, 39, 44, 32, 123, 10, 32, 32, 32, 32, 118, 97, 108, 117, 101, 58, 32, 87,
        114, 105, 116, 97, 98, 108, 101, 83, 116, 114, 101, 97, 109, 44, 10, 32, 32, 32,
        32, 101, 110, 117, 109, 101, 114, 97, 98, 108, 101, 58, 32, 102, 97, 108, 115,
        101, 44, 10, 32, 32, 32, 32, 99, 111, 110, 102, 105, 103, 117, 114, 97, 98, 108,
        101, 58, 32, 116, 114, 117, 101, 44, 10, 32, 32, 32, 32, 119, 114, 105, 116, 97,
        98, 108, 101, 58, 32, 116, 114, 117, 101, 10, 32, 32, 125, 41, 59, 10, 125, 41,
        59, 10 };

    template <>
    int NativesCollection<EXPERIMENTAL_EXTRAS>::GetBuiltinsCount()
    {
        return 1;
    }

    template <>
    int NativesCollection<EXPERIMENTAL_EXTRAS>::GetDebuggerCount()
    {
        return 0;
    }

    template <>
    int NativesCollection<EXPERIMENTAL_EXTRAS>::GetIndex(const char* name)
    {
        if (strcmp(name, "WritableStream") == 0)
            return 0;
        return -1;
    }

    template <>
    Vector<const char> NativesCollection<EXPERIMENTAL_EXTRAS>::GetScriptSource(int index)
    {
        if (index == 0)
            return Vector<const char>(sources + 0, 31332);
        return Vector<const char>("", 0);
    }

    template <>
    Vector<const char> NativesCollection<EXPERIMENTAL_EXTRAS>::GetScriptName(int index)
    {
        if (index == 0)
            return Vector<const char>("native WritableStream.js", 24);
        return Vector<const char>("", 0);
    }

    template <>
    Vector<const char> NativesCollection<EXPERIMENTAL_EXTRAS>::GetScriptsSource()
    {
        return Vector<const char>(sources, 31332);
    }
} // internal
} // v8
